[HS99]
Holger H. Hoos and Thomas Stützle.
Systematic vs. Local Search for SAT.
Technical Report TR-99-06. Department of Computer Science,
University of BC, Canada, 1999. | |
[LA97]
C.M. Li and Anbulagan.
Look-Ahead Versus Lock-Back for Satisfiability
Problems.
In Proceedings of CP'97. LNCS, pages 341--355, 1997. | |
[WM99]
Joost P. Warners and Hans van Maaren.
A two phase algorithm for solving a class of hard satisfiability
problems.
Operations Research Letters. Vol. 23(3-5), pages 81-88, 1999. | |