Regular Random ::::k::::-SAT: Properties of Balanced Formulas

Yacine Boufkhad, Olivier Dubois, Yannet Interian, Bart Selman. Regular Random ::::k::::-SAT: Properties of Balanced Formulas. Journal of Automated Reasoning, 35(1-3):181-200, 2005. [doi]

Abstract

Abstract is missing.