Increasing the Accuracy of SAT-based Debugging.

André Sülflow Görschwin Fey Cécile Braunstein Ulrich Kühne Rolf Drechsler

Published in: MBMV (2009)

Keyphrases

high accuracy
classification accuracy
highly accurate
prediction accuracy
error rate
answer set programming
case study
computational cost
programming language
logic programming