Keyphrases
- bounded model checking
- answer set programming
- sat solvers
- constraint solver
- ai planning
- model based diagnosis
- version space
- fault localization
- hardware designs
- novice programmers
- answer sets
- boolean satisfiability
- software testing
- execution traces
- sat encodings
- data sets
- search strategy
- model checking
- logic programs
- dynamic programming
- search space