Phase transitions for scale-free SAT formulas

Tobias Friedrich, Anton Krohmer, Ralf Rothenberger, Andrew M. Sutton

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Scopus citations

Fingerprint

Dive into the research topics of 'Phase transitions for scale-free SAT formulas'. Together they form a unique fingerprint.

Engineering & Materials Science