Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Heule, B. Kiesl:
"The Potential of Interference-Based Proof Systems";
Vortrag: The First International ARCADE (Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements) Workshop,
Gothenburg, Sweden;
06.08.2017; in: "Proceedings of the First International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements",
EPiC Series in Computing / EasyChair,
(2017),
S. 51
- 54.
Kurzfassung englisch:
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.
Schlagworte:
SAT solving, propositional logic, proofs
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.29007/vr7n
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/publik_266908.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.