The satisfiability problem in regular CNF-formulas | Publicación