The interface between P and NP in signed CNF formulas | Publicación