An improved local search algorithm for 3-SAT

T. Brueggemann, Walter Kern

Research output: Book/ReportReportProfessional

Original languageUndefined
Place of PublicationEnschede
PublisherUniversiteit Twente, Faculteit Toegepaste Wiskunde
Number of pages14
ISBN (Print)0169-2690
Publication statusPublished - 2004

Publication series

NameMemorandum Afdeling TW
No.1709

Keywords

  • METIS-219682

Cite this