Petar Vukmirovic

According to our database, Petar Vukmirovic authored at least 17 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Superposition for Higher-Order Logic.

Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic

J. Autom. Reason., March, 2023

SAT-Inspired Eliminations for Superposition.

Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule

ACM Trans. Comput. Log., January, 2023

SAT-Inspired Higher-Order Eliminations.

Jasmin Blanchette, Petar Vukmirovic

Log. Methods Comput. Sci., 2023

Mechanical Mathematicians.

Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann

Commun. ACM, 2023

Extending a High-Performance Prover to Higher-Order Logic.

Petar Vukmirovic, Jasmin Blanchette, Stephan Schulz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Extending a brainiac prover to lambda-free higher-order logic.

Petar Vukmirovic, Jasmin Blanchette, Simon Cruanes, Stephan Schulz

Int. J. Softw. Tools Technol. Transf., 2022

Making Higher-Order Superposition Work.

Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret

J. Autom. Reason., 2022

Seventeen Provers Under the Hammer.

Martin Desharnais, Petar Vukmirovic, Jasmin Blanchette, Makarius Wenzel

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

SAT-Inspired Eliminations for Superposition.

Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule

Dataset, April, 2021

SAT-Inspired Eliminations for Superposition.

Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule

Dataset, February, 2021

Efficient Full Higher-Order Unification.

Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin

Log. Methods Comput. Sci., 2021

Superposition with Lambdas.

Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann

J. Autom. Reason., 2021

Superposition with First-class Booleans and Inprocessing Clausification.

Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic

Proceedings of the Automated Deduction - CADE 28, 2021

Superposition for Full Higher-order Logic.

Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Boolean Reasoning in a Higher-Order Superposition Prover.

Petar Vukmirovic, Visa Nummelin

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020

2019

Faster, Higher, Stronger: E 2.3.

Stephan Schulz, Simon Cruanes, Petar Vukmirovic

Proceedings of the Automated Deduction - CADE 27, 2019

2017

Assessing the Impact of Service Workers on the Energy Efficiency of Progressive Web Apps.

Ivano Malavolta, Giuseppe Procaccianti, Paul Noorland, Petar Vukmirovic

Proceedings of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2017