An improved deterministic local search algorithm for 3-SAT

T. Brueggemann, Walter Kern

Research output: Contribution to journalArticleAcademicpeer-review

59 Citations (Scopus)

Fingerprint

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