An improved local search algorithm for 3-SAT

T. Brueggemann, W. Kern

Research output: Book/ReportReportOther research output

95 Downloads (Pure)

Fingerprint

Dive into the research topics of 'An improved local search algorithm for 3-SAT'. Together they form a unique fingerprint.

Mathematics