Fingerprint
Dive into the research topics of 'A deterministic (2 - 2/(k + 1))n algorithm for k-SAT based on local search'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A deterministic (2 - 2/(k + 1))n algorithm for k-SAT based on local search
Evgeny Dantsin, Andreas Goerdt, Edward A. Hirsch, Ravi Kannan, Jon Kleinberg, Christos Papadimitriou, Prabhakar Raghavan, Uwe Schöning
Research output: Contribution to journal › Article › peer-review
137
Scopus
citations