Witness of unsatisfiability for a random 3-satisfiability formula

Lu-Lu Wu, Hai-Jun Zhou, Mikko Alava, Erik Aurell, Pekka Orponen

Research output: Contribution to journalArticleScientificpeer-review

64 Downloads (Pure)

Fingerprint Dive into the research topics of 'Witness of unsatisfiability for a random 3-satisfiability formula'. Together they form a unique fingerprint.

Mathematics

Physics & Astronomy