Faster k-SAT algorithms using Biased-PPSZ

Thomas Dueholm Hansen, Haim Kaplan, Or Zamir, Uri Zwick

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

28 Scopus citations

Fingerprint

Dive into the research topics of 'Faster k-SAT algorithms using Biased-PPSZ'. Together they form a unique fingerprint.