Fingerprint
Dive into the research topics of 'Faster k-SAT algorithms using Biased-PPSZ'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Faster k-SAT algorithms using Biased-PPSZ
Thomas Dueholm Hansen, Haim Kaplan, Or Zamir, Uri Zwick
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
32
Scopus
citations