53 citations · 201 across the 17 of their papers we have counts for
3 papers · 1 filter
Stepwise Debugging of Answer-Set Programs
Johannes Oetsch, Jörg Pührer, Hans Tompits
We introduce a stepping methodology for answer-set programming (ASP) that allows for debugging answer-set programs and is based on the stepwise application of rules. Similar to deb…
Blocked Clauses in First-Order Logic
Benjamin Kiesl, Martin Suda, Martina Seidl +2
Blocked clauses provide the basis for powerful reasoning techniques used in SAT, QBF, and DQBF solving. Their definition, which relies on a simple syntactic criterion, guarantees t…
Local Redundancy in SAT: Generalizations of Blocked Clauses
Benjamin Kiesl, Martina Seidl, Hans Tompits +1
Clause-elimination procedures that simplify formulas in conjunctive normal form play an important role in modern SAT solving. Before or during the actual solving process, such proc…