Abstract
Stefan Szeider. Matched Formulas and Backdoor Sets. J on Satisfiability, Boolean Modeling and Computation, volume 6, pages 1-12, 2009.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.