Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing.
Andrea CalvagnaAngelo GargantiniPublished in: TAP@TOOLS (2009)
Keyphrases
- sat encodings
- search heuristics
- constrained problems
- stochastic local search
- user interaction
- timetabling problem
- constraint satisfaction
- phase transition
- propositional logic
- sat solving
- combinatorial search
- satisfiability problem
- heuristic search
- test cases
- human computer interaction
- np complete
- computational complexity
- genetic algorithm
- constraint propagation
- exact algorithms
- admissible heuristics
- variable ordering
- search algorithm