An improved local search algorithm for 3-SAT

T. Brueggemann, Walter Kern

Research output: Book/ReportReportProfessional

Original languageUndefined
Place of PublicationEnschede
PublisherToegepaste Wiskunde
Number of pages14
ISBN (Print)0169-2690
Publication statusPublished - 2004

Publication series

NameMemorandum Afdeling TW
No.1709

Keywords

  • METIS-219682

Cite this

Brueggemann, T., & Kern, W. (2004). An improved local search algorithm for 3-SAT. (Memorandum Afdeling TW; No. 1709). Enschede: Toegepaste Wiskunde.