The complexity of resolution with generalized symmetry rules

Stefan Szeider
January 2003
bib

Abstract

Full Citation:

Stefan Szeider. The complexity of resolution with generalized symmetry rules. Proceedings of the 20th International Symposium on Theoretical Aspects of Computer Science (STACS'03) (Helmut Alt and Michel Habib), volume 2607 of Lecture Notes in Computer Science, pages 475-486, 2003.

Type
Conference Paper
Stefan Szeider
Stefan Szeider
Head of Research Unit

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