The SAT Problem of Signed CNF Formulas | Publicación