Increasing the accuracy of SAT-based debugging.

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

Published in: DATE (2009)

Keyphrases

high accuracy
error rate
answer set programming
machine learning
classification accuracy
data sets
neural network
computational efficiency
np hard
computational cost
prediction accuracy
precision and recall
correlation coefficient