Petar Vukmirović

MaRDI QIDQ2051563zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Efficient full higher-order unification	2026-02-24	Paper
Seventeen provers under the hammer	2024-07-15	Paper
Extending a high-performance prover to higher-order logic	2024-04-05	Paper
SAT-Inspired Higher-Order Eliminations Logical Methods in Computer Science	2023-08-26	Paper
Superposition for higher-order logic Journal of Automated Reasoning	2023-06-14	Paper
SAT-Inspired Eliminations for Superposition ACM Transactions on Computational Logic	2023-02-07	Paper
Making higher-order superposition work Journal of Automated Reasoning	2022-12-12	Paper
Efficient full higher-order unification (available as arXiv preprint)	2022-02-09	Paper
Efficient full higher-order unification	2022-02-09	Paper
Superposition with first-class booleans and inprocessing clausification	2021-12-01	Paper
Superposition for full higher-order logic	2021-12-01	Paper
Making higher-order superposition work Automated Deduction – CADE 28	2021-12-01	Paper
Superposition with lambdas Journal of Automated Reasoning	2021-11-24	Paper
Faster, higher, stronger: E 2.3	2020-03-10	Paper
Superposition with lambdas Lecture Notes in Computer Science	2020-03-10	Paper
Superposition with lambdas Lecture Notes in Computer Science	2020-03-10	Paper

Research outcomes over time

This page was built for person: Petar Vukmirović