Faulty Interaction Identification via Constraint Solving and Optimization.
Jian ZhangFeifei MaZhiqiang ZhangPublished in: SAT (2012)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- human computer interaction
- optimization problems
- constraint satisfaction
- user interaction
- optimization algorithm
- constraint solver
- constraint solvers
- dynamic programming
- data structure
- constraint programming
- fault diagnosis
- optimization method
- xml documents
- evolutionary algorithm