The complexity of resolution with generalized symmetry rules

Szeider, Stefan

by Stefan Szeider

Reference:

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

Bibtex Entry:

@string{lncs="Lecture Notes in Computer Science"}
@InProceedings{Szeider03c,
  author = 	 {Stefan Szeider},
  title = 	 {The complexity of resolution with generalized 
                  symmetry rules }, 
  booktitle = 	 {Proceedings of the 20th International Symposium on 
                  Theoretical Aspects of Computer Science (STACS'03)},
  year = 	 {2003},
  editor = 	 {Helmut Alt and Michel Habib},
  series = 	 LNCS,
  volume =       {2607},
  pages  =       {475-486},
}