Local Search Strategies for Satisfiability Testing
収録刊行物
-
- Cliques, Coloring and Satisfiability : Second DIMACS Implementation Challenge
-
Cliques, Coloring and Satisfiability : Second DIMACS Implementation Challenge 1996
American Mathematical Society