Anytime algorithms for constraint satisfaction and SAT problems

Authors
R.J.Wallace,E.C.Freuder
Citation
R.j.wallace,e.c.freuder, Anytime algorithms for constraint satisfaction and SAT problems, SIGART bulletin , 7(2), 1996, pp. 7-10
Journal title
SIGART bulletin → ACNP
ISSN journal
10534830
Volume
7
Issue
2
Year of publication
1996
Pages
7 - 10
Database
ACNP
SICI code