Witness of unsatisfiability for a random 3-satisfiability formula (2013)
AUTHORS:
Wu Lu-Lu,
Zhou Hai-Jun,
Alava Mikko,
Aurell Erik,
Orponen Pekka
JOURNAL:
Phys. Rev. E
VOLUME:
87
URL:
http://pre.aps.org/abstract/PRE/v87/i5/e052807
@article{ Lu-Lu13, author = "Wu, Lu-Lu and Zhou, Hai-Jun and Alava, Mikko and Aurell, Erik and Orponen, Pekka", responsibleauthor = "Hai-Jun Zhou", doi = "10.1103/PhysRevE.87.052807", language = "eng", responsibleperson = "Aurell, Erik", title = "Witness of unsatisfiability for a random 3-satisfiability formula", url = "http://pre.aps.org/abstract/PRE/v87/i5/e052807", country = "USA", journal = "Phys. Rev. E", issn = "NA", number = "NA", volume = "87", juforank = "NA", flags = "COIN", il = "yes", year = "2013", unitcode = "T306-100", kay = "NA", impactfactor = "A1", page = "052807" }