Publication Date:
2013-05-21
Description:
Author(s): Lu-Lu Wu, Hai-Jun Zhou, Mikko Alava, Erik Aurell, and Pekka Orponen The random 3-satisfiability (3-SAT) problem is in the unsatisfiable (UNSAT) phase when the clause density α exceeds a critical value α s ≈4.267. Rigorously proving the unsatisfiability of a given large 3-SAT instance is, however, extremely difficult. In this paper we apply the mean-field theory of sta... [Phys. Rev. E 87, 052807] Published Mon May 20, 2013
Keywords:
Interdisciplinary Physics
Print ISSN:
1539-3755
Electronic ISSN:
1550-2376
Topics:
Physics
Permalink