Follow
Petar Vukmirovic
Title
Cited by
Cited by
Year
Faster, higher, stronger: E 2.3
S Schulz, S Cruanes, P Vukmirović
International Conference on Automated Deduction, 495-507, 2019
852019
Assessing the impact of service workers on the energy efficiency of progressive web apps
I Malavolta, G Procaccianti, P Noorland, P Vukmirovic
2017 IEEE/ACM 4th International Conference on Mobile Software Engineering …, 2017
622017
Superposition with lambdas
A Bentkamp, J Blanchette, S Tourret, P Vukmirović, U Waldmann
Journal of Automated Reasoning 65 (7), 893-940, 2021
372021
Extending a brainiac prover to lambda-free higher-order logic
P Vukmirović, J Blanchette, S Cruanes, S Schulz
International Journal on Software Tools for Technology Transfer 24 (1), 67-87, 2022
362022
Efficient full higher-order unification
P Vukmirović, A Bentkamp, V Nummelin
arXiv preprint arXiv:2011.09507, 2020
172020
Boolean reasoning in a higher-order superposition prover
P Vukmirovic, V Nummelin
Joint of the 7th Workshop on Practical Aspects of Automated Reasoning and …, 2020
152020
Superposition for full higher-order logic
A Bentkamp, J Blanchette, S Tourret, P Vukmirović
International Conference on Automated Deduction, 396-412, 2021
132021
Making Higher-Order Superposition Work.
P Vukmirovic, A Bentkamp, J Blanchette, S Cruanes, V Nummelin, ...
CADE, 415-432, 2021
132021
Superposition with First-class Booleans and Inprocessing Clausification.
V Nummelin, A Bentkamp, S Tourret, P Vukmirovic
CADE, 378-395, 2021
72021
Implementation of lambda-free higher-order superposition
P Vukmirovic
AITP 2018, 2018
52018
Superposition with lambdas (technical report)
A Bentkamp, J Blanchette, S Tourret, P Vukmirović, U Waldmann
Technical report, 2019
42019
Superposition with first-class Booleans and inprocessing clausification (technical report)
V Nummelin, A Bentkamp, S Tourret, P Vukmirović
Technical report, 2021. https://matryoshka-project. github. io/pubs …, 0
3
Seventeen provers under the hammer
M Desharnais, P Vukmirović, J Blanchette, M Wenzel
13th International Conference on Interactive Theorem Proving (ITP 2022), 2022
22022
SAT-Inspired Eliminations for Superposition.
P Vukmirovic, J Blanchette, MJH Heule
FMCAD, 231-240, 2021
22021
Extending a brainiac prover to lambda-free higher-order logic (technical report)
P Vukmirović, JC Blanchette, S Cruanes, S Schulz
Technical report, 2019
22019
Superposition for full higherorder logic (technical report)
A Bentkamp, JC Blanchette, S Tourret, P Vukmirovic
Technical report, 2021
12021
Extending a High-Performance Prover to Higher-Order Logic
P Vukmirović, J Blanchette, S Schulz
1
Efficient Full Higher-Order Unification (Technical Report)
P Vukmirović, A Bentkamp, V Nummelin
1
Implementation of Higher-Order Superposition
P Vukmirovic
2022
SAT-Inspired Higher-Order Eliminations
J Blanchette, P Vukmirović
arXiv preprint arXiv:2208.07775, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20