An improved deterministic local search algorithm for 3-SAT

T. Brueggemann, Walter Kern

Research output: Contribution to journalArticleAcademicpeer-review

61 Citations (Scopus)
3 Downloads (Pure)

Fingerprint

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