An Almost Quadratic Class of Satisfiability Problems.

Mukesh Dalal

Browse the full ECAI paper archive.