Without Loss of Generality - Symmetric Reasoning for Resolution Systems (Invited Talk)

Abstract

Full Citation:

Stefan Szeider. Without Loss of Generality - Symmetric Reasoning for Resolution Systems (Invited Talk). Proceedings of SymCon'07, Seventh International Workshop on Symmetry and Constraint Satisfaction Problems, satellite workshop of CP 2007, September 23, 2007, Providence, RI, USA (B. Benhamou), pages 5-8, 2007.

Stefan Szeider

Head of Research Unit

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