A perspective on certain polynomial-time solvable classes of satisfiability

John V. Franco, Allen Van Gelder. A perspective on certain polynomial-time solvable classes of satisfiability. Discrete Applied Mathematics, 125(2-3):177-214, 2003.

Abstract

Abstract is missing.