Using QBF to increase accuracy of SAT-based debugging.

André Sülflow Görschwin Fey Rolf Drechsler

Published in: ISCAS (2010)

Keyphrases

computational cost
high accuracy
error rate
answer set programming
sat solvers
computational complexity
classification accuracy
answer sets