Talks and Poster Presentations (with Proceedings-Entry):
M. Heule, B. Kiesl:
"The Potential of Interference-Based Proof Systems";
Talk: The First International ARCADE (Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements) Workshop,
Gothenburg, Sweden;
08-06-2017; in: "Proceedings of the First International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements",
EPiC Series in Computing / EasyChair,
(2017),
51
- 54.
English abstract:
In our extended abstract, we try to motivate researchers to investigate the potential of proof systems that modify a given set of formulas (e.g., a set of clauses in propositional logic) in a way that preserves satisfiability but not necessarily logical equivalence. We call such modifications interferences, because they can change the models of a given set of formulas.
Keywords:
SAT solving, propositional logic, proofs
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.29007/vr7n
Electronic version of the publication:
http://publik.tuwien.ac.at/files/publik_266908.pdf
Created from the Publication Database of the Vienna University of Technology.