www.ai-center.com

Gomes, C.; Selman, B.; and Kautz, H. 1998.
Boosting Combinatorial Search Through Randomization.
In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98), 431-437.

Referenced by page:

• Propositional Satisfiability