Without Loss of Generality -- Symmetric Reasoning for Resolution Systems (SymCon '07 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, pp. 5-8, 2007
Abstract:Krishnamurthy  introduced symmetry rules that make the informal "without loss of generality" reasoning available for resolution-based systems. The homomorphism rules of Szeider  are more powerful variants of Krishnamurthy's rules and can save in certain cases an exponential number of inference steps over symmetry rules. In this talk we will review the concepts of symmetry and homomorphism rules for resolution-based systems and discuss various questions and results that arise in that context.
Download: [Link to Paper]