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]
@article{BoufkhadDIS05, title = {Regular Random ::::k::::-SAT: Properties of Balanced Formulas}, author = {Yacine Boufkhad and Olivier Dubois and Yannet Interian and Bart Selman}, year = {2005}, doi = {10.1007/s10817-005-9012-z}, url = {http://dx.doi.org/10.1007/s10817-005-9012-z}, researchr = {https://researchr.org/publication/BoufkhadDIS05}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {35}, number = {1-3}, pages = {181-200}, }