Petar Vukmirovic

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