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

Szeider, Stefan

by Stefan Szeider

Reference:

Without Loss of Generality - Symmetric Reasoning for Resolution Systems (Invited Talk)Stefan SzeiderProceedings 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, ed.), pages 5-8, 2007.

Bibtex Entry:

@InProceedings{Szeider07c,
  author = 	 {Stefan Szeider},
  title = 	 {Without Loss of Generality - Symmetric Reasoning for 
                  Resolution Systems (Invited Talk)},
  booktitle =     {Proceedings of SymCon'07, Seventh International Workshop 
                   on Symmetry and Constraint Satisfaction Problems, 
                  satellite workshop of CP 2007, September 23, 2007, 
                  Providence, RI, USA},
  pages = 	 {5-8},
  year = 	 {2007},
  editor = 	 {B. Benhamou},
  url   = {https://www.ac.tuwien.ac.at/files/pub/Szeider07c.pdf},

}