"Bounding the unsatisfiability threshold of random 3-SAT."

Svante Janson, Yannis C. Stamatiou, Malvina Vamvakari (2000)

Details and statistics

DOI: 10.1002/1098-2418(200009)17:2<103::AID-RSA2>3.0.CO;2-P

access: closed

type: Journal Article

metadata version: 2017-05-26

a service of  Schloss Dagstuhl - Leibniz Center for Informatics