Follow
Petar Vukmirovic
Title
Cited by
Cited by
Year
Faster, higher, stronger: E 2.3
S Schulz, S Cruanes, P Vukmirović
Automated DeductioníVCADE 27: 27th International Conference on Automated íK, 2019
1592019
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 íK, 2017
832017
Superposition with lambdas
A Bentkamp, J Blanchette, S Tourret, P Vukmirović, U Waldmann
Journal of Automated Reasoning 65 (7), 893-940, 2021
532021
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
502022
Making Higher-Order Superposition Work.
P Vukmirovic, A Bentkamp, J Blanchette, S Cruanes, V Nummelin, ...
CADE, 415-432, 2021
332021
Efficient full higher-order unification
P Vukmirović, A Bentkamp, V Nummelin
Logical Methods in Computer Science 17, 2021
272021
Superposition for Full Higher-order Logic.
A Bentkamp, J Blanchette, S Tourret, P Vukmirovic
CADE, 396-412, 2021
272021
Seventeen provers under the hammer
M Desharnais, P Vukmirović, J Blanchette, M Wenzel
13th International Conference on Interactive Theorem Proving-ITP 2022, 2022
252022
Boolean Reasoning in a Higher-Order Superposition Prover.
P Vukmirovic, V Nummelin
PAAR+ SC²@ IJCAR, 148-166, 2020
242020
Assessing the impact of service workers on the energy efficiency of progressive web apps. In 2017 IEEE/ACM 4th International Conference on Mobile Software Engineering and íK
I Malavolta, G Procaccianti, P Noorland, P Vukmirovic
IEEE, 2017
142017
Superposition with First-class Booleans and Inprocessing Clausification.
V Nummelin, A Bentkamp, S Tourret, P Vukmirovic
CADE, 378-395, 2021
132021
Extending a high-performance prover to higher-order logic
P Vukmirović, J Blanchette, S Schulz
International Conference on Tools and Algorithms for the Construction and íK, 2023
92023
Superposition for higher-order logic
A Bentkamp, J Blanchette, S Tourret, P Vukmirović
Journal of Automated Reasoning 67 (1), 10, 2023
92023
Implementation of lambda-free higher-order superposition
P Vukmirovic
AITP 2018, 2018
62018
Mechanical Mathematicians
A Bentkamp, J Blanchette, V Nummelin, S Tourret, P Vukmirović, ...
Communications of the ACM 66 (4), 80-90, 2023
42023
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 íK, 0
4
SAT-inspired eliminations for superposition
P Vukmirović, J Blanchette, MJH Heule
ACM Transactions on Computational Logic 24 (1), 1-25, 2023
32023
Extending a brainiac prover to lambda-free higher-order logic (technical report)
P Vukmirović, JC Blanchette, S Cruanes, S Schulz
Technical report, 2019
32019
Superposition for full higherorder logic (technical report)
A Bentkamp, JC Blanchette, S Tourret, P Vukmirovic
Technical report, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20