Wallace, R. J., and Freuder, E. C. 1996. Anytime Algorithms for Constraint Satisfaction and SAT problems. SIGART Bulletin 7(2).
Referenced by page:
Search-Paradigm Discussion
