The satisfiability problem in regular CNF-formulas

Felip Manyà, Ramón Béjar, Gonzalo Escalada-Imaz. The satisfiability problem in regular CNF-formulas. Soft Comput., 2(3):116-123, 1998. [doi]

Abstract

Abstract is missing.