[Back]


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.