Anytime algorithms for constraint satisfaction and SAT problems

  • Eugene Freuder
  • , Richard J. Wallace

Research output: Contribution to journalArticlepeer-review

Original languageEnglish (Ireland)
Pages (from-to)7-10
Number of pages4
JournalACM SIGART Bulletin
Volume7
Issue number22
Publication statusPublished - 1996

Cite this