Regular Random k-SAT: Properties of Balanced Formulas

SAT 2005 ◽

10.1007/978-1-4020-5571-3_9 ◽

2007 ◽

pp. 181-200

Author(s):

Yacine Boufkhad ◽

Olivier Dubois ◽

Yannet Interian ◽

Bart Selman

Download Full-text