Satisfiability of Acyclic and almost Acyclic CNF Formulas (II)

Sebastian Ordyniak, Daniël Paulusma, Stefan Szeider
January 2011
Cite DOI
Type
Conference Paper
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.