Abstract
Stefan Szeider. Generalizations of matched CNF formulas. Ann. Math. Artif. Intell., volume 43, number 1-4, pages 223-238, 2005.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.
Stefan Szeider. Generalizations of matched CNF formulas. Ann. Math. Artif. Intell., volume 43, number 1-4, pages 223-238, 2005.
Stefan Szeider is a Professor at the Algorithms and Complexity Group.