Keyphrases
- execution traces
- answer set programming
- bounded model checking
- sat solvers
- constraint solver
- version space
- model based diagnosis
- neural network
- ai planning
- planning problems
- answer sets
- logic programming
- source code
- data sets
- hardware designs
- planning domains
- fault localization
- boolean satisfiability
- novice programmers
- sat encodings
- classical planning
- training data