Satisfiability of Acyclic and almost Acyclic CNF Formulas (II).

Sebastian Ordyniak, Danil Paulusma, Stefan Szeider

Browse the full SAT paper archive.