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
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
scientific article; zbMATH DE number 7471678 (Why is no real title available?) (available as arXiv preprint)	2022-02-09	Paper
scientific article; zbMATH DE number 7471678 (Why is no real title available?)	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ć