Almost 2-Sat is Fixed-Parameter Tractable. (2008)

by I Razgon, B O’Sullivan
Venue:In Proceedings of the 35th International Colloquium on Automata, Languages and Programming (ICALP