Fingerprint
Dive into the research topics of 'An improved deterministic local search algorithm for 3-SAT'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
An improved deterministic local search algorithm for 3-SAT
T. Brueggemann, Walter Kern
Research output: Contribution to journal › Article › Academic › peer-review
62
Citations
(Scopus)
12
Downloads
(Pure)