Petar Vukmirovic

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 23

Top Topics

Deductive Reasoning

Boolean Satisfiability

Theorem Proving

Top Venues

J. Autom. Reason.

Publications

Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule
SAT-Inspired Eliminations for Superposition. ACM Trans. Comput. Log. 24 (1) (2023)
Jasmin Blanchette, Petar Vukmirovic
SAT-Inspired Higher-Order Eliminations. Log. Methods Comput. Sci. 19 (2) (2023)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic
Superposition for Higher-Order Logic. J. Autom. Reason. 67 (1) (2023)
Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Mechanical Mathematicians. Commun. ACM 66 (4) (2023)
Petar Vukmirovic, Jasmin Blanchette, Stephan Schulz
Extending a High-Performance Prover to Higher-Order Logic. TACAS (2) (2023)
Jasmin Blanchette, Petar Vukmirovic
SAT-Inspired Higher-Order Eliminations. CoRR (2022)
Martin Desharnais, Petar Vukmirovic, Jasmin Blanchette, Makarius Wenzel
Seventeen Provers Under the Hammer. ITP (2022)
Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
Making Higher-Order Superposition Work. J. Autom. Reason. 66 (4) (2022)
Petar Vukmirovic, Jasmin Blanchette, Simon Cruanes, Stephan Schulz
Extending a brainiac prover to lambda-free higher-order logic. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule
SAT-Inspired Eliminations for Superposition. FMCAD (2021)
Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic
Superposition with First-class Booleans and Inprocessing Clausification. CADE (2021)
Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
Making Higher-Order Superposition Work. CADE (2021)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. CoRR (2021)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. J. Autom. Reason. 65 (7) (2021)
Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin
Efficient Full Higher-Order Unification. Log. Methods Comput. Sci. 17 (4) (2021)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic
Superposition for Full Higher-order Logic. CADE (2021)
Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin
Efficient Full Higher-Order Unification. FSCD (2020)
Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin
Efficient Full Higher-Order Unification. CoRR (2020)
Petar Vukmirovic, Visa Nummelin
Boolean Reasoning in a Higher-Order Superposition Prover. PAAR+SC²@IJCAR (2020)
Petar Vukmirovic, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. TACAS (1) (2019)
Stephan Schulz, Simon Cruanes, Petar Vukmirovic
Faster, Higher, Stronger: E 2.3. CADE (2019)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. CADE (2019)
Ivano Malavolta, Giuseppe Procaccianti, Paul Noorland, Petar Vukmirovic
Assessing the Impact of Service Workers on the Energy Efficiency of Progressive Web Apps. MOBILESoft@ICSE (2017)