Carlos Ansótegui, Ramón Béjar, Alba Cabiscol, Felip Manyà. The Interface between P and NP in Signed CNF Formulas. In 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 19-22 May 2004, Toronto, Canada. pages 251-256, IEEE Computer Society, 2004. [doi]
Abstract is missing.