The interface between P and NP in signed CNF formulas | IEEE Conference Publication | IEEE Xplore