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
522019
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
472017
Superposition with lambdas
A Bentkamp, J Blanchette, S Tourret, P Vukmirović, U Waldmann
Journal of Automated Reasoning 65 (7), 893-940, 2021
302021
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, 1-21, 2021
252021
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
142020
Efficient full higher-order unification
P Vukmirović, A Bentkamp, V Nummelin
arXiv preprint arXiv:2011.09507, 2020
142020
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 for full higher-order logic
A Bentkamp, J Blanchette, S Tourret, P Vukmirović
International Conference on Automated Deduction, 396-412, 2021
32021
Superposition with first-class Booleans and inprocessing clausification
V Nummelin, A Bentkamp, S Tourret, P Vukmirović
Automated Deduction–CADE 28, 378, 2021
32021
Making higher-order superposition work
P Vukmirovic, A Bentkamp, J Blanchette, S Cruanes, V Nummelin, ...
Automated Deduction–CADE 28, 415, 2021
32021
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 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
2
Superposition for full higherorder logic (technical report)
A Bentkamp, JC Blanchette, S Tourret, P Vukmirovic
Technical report, 2021
12021
Efficient full higher-order unification (technical report)
P Vukmirović, A Bentkamp, V Nummelin
1
SAT-Inspired Eliminations for Superposition
P Vukmirovic, J Blanchette, MJH Heule
PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED …, 2021
2021
Higher-order Automation in TLAPS
A Defourné, P Vukmirovic
JFLA 2020-31emes Journées Francophones des Langages Applicatifs, 2020
2020
Boolean Reasoning in a Higher-Order Superposition Prover
P Vukmirovića, V Nummelina
2020
The system can't perform the operation now. Try again later.
Articles 1–18