[AIM96] | Y. Asahiro, K.~Iwama, and E.~Miyano
Random Generation of Test Instanzes with Controlled Attributes.
In D.S.Johnson and M.A.Trick, editors, Cliques, Coloring, and Satisfiability:
The Second DIMACS Implementation Challenge. Vol. 26 of
DIMACS Series on Discrete Mathematics and Theoretical Computer Science, pages 377--394. American Mathematical Society, 1996.pages 127-154, 1996 |
[CI95] | B. Cha and K. Iwama. Adding New Clauses for Faster Local Search. In Proceedings of AAAI'96}, pages 332--337. MIT Press, 1996. |