The Complexity of Resolution with Generalized Symmetry Rules

Abstract

Full Citation:

Stefan Szeider. The Complexity of Resolution with Generalized Symmetry Rules. Theory Comput. Syst., volume 38, number 2, pages 171-188, 2005.

Stefan Szeider

Head of Research Unit

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