The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT.

Toby Walsh

Browse the full AAAI paper archive.