Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic.
Hai LiuFeifei MaJian ZhangPublished in: PRICAI (2016)
Keyphrases
- constraint solving
- covering arrays
- pseudo boolean
- constraint satisfaction
- integer linear programming
- combinatorial problems
- constraint programming
- constraint satisfaction problems
- constraint propagation
- symmetry breaking
- test cases
- column generation
- tree search
- context free grammars
- propositional satisfiability
- optimal solution
- backtracking algorithm
- temporal constraints
- search space
- exact solution
- phase transition
- stochastic local search
- combinatorial optimization
- logic programs
- hyper heuristics
- dynamic programming
- search algorithm