Folgen
Petar Vukmirovic
Titel
Zitiert von
Zitiert von
Jahr
Faster, higher, stronger: E 2.3
S Schulz, S Cruanes, P Vukmirović
Automated Deduction–CADE 27: 27th International Conference on Automated …, 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 …, 2017
812017
Superposition with lambdas
A Bentkamp, J Blanchette, S Tourret, P Vukmirović, U Waldmann
Journal of Automated Reasoning 65 (7), 893-940, 2021
522021
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
322021
Efficient full higher-order unification
P Vukmirović, A Bentkamp, V Nummelin
Logical Methods in Computer Science 17, 2021
262021
Superposition for Full Higher-order Logic.
A Bentkamp, J Blanchette, S Tourret, P Vukmirovic
CADE, 396-412, 2021
262021
Seventeen provers under the hammer
M Desharnais, P Vukmirović, J Blanchette, M Wenzel
13th International Conference on Interactive Theorem Proving-ITP 2022, 2022
242022
Boolean Reasoning in a Higher-Order Superposition Prover.
P Vukmirovic, V Nummelin
PAAR+ SC²@ IJCAR, 148-166, 2020
232020
Superposition with First-class Booleans and Inprocessing Clausification.
V Nummelin, A Bentkamp, S Tourret, P Vukmirovic
CADE, 378-395, 2021
132021
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 …
I Malavolta, G Procaccianti, P Noorland, P Vukmirovic
IEEE, 2017
132017
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 …, 2023
92023
Superposition for higher-order logic
A Bentkamp, J Blanchette, S Tourret, P Vukmirović
Journal of Automated Reasoning 67 (1), 10, 2023
82023
Implementation of lambda-free higher-order superposition
P Vukmirovic
AITP 2018, 2018
62018
Superposition with lambdas (technical report)
A Bentkamp, J Blanchette, S Tourret, P Vukmirović, U Waldmann
Technical report, 2019
42019
Mechanical Mathematicians
A Bentkamp, J Blanchette, V Nummelin, S Tourret, P Vukmirović, ...
Communications of the ACM 66 (4), 80-90, 2023
32023
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 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
3
Superposition for full higherorder logic (technical report)
A Bentkamp, JC Blanchette, S Tourret, P Vukmirovic
Technical report, 2021
12021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20