The Complexity of Resolution with Generalized Symmetry Rules

Szeider, Stefan

by Stefan Szeider

Reference:

The Complexity of Resolution with Generalized Symmetry RulesStefan SzeiderTheory Comput. Syst., volume 38, number 2, pages 171-188, 2005.

Bibtex Entry:

@string{tcsys="Theory Comput. Syst."}
@Article{Szeider05e,
  author = 	 {Stefan Szeider},
  title = 	 {The Complexity of Resolution with 
                  Generalized Symmetry Rules},
  journal = 	 TCSys,
  year = 	 {2005},
  volume = 	 {38},
  number = 	 {2},
  pages = 	 {171-188},
    url   = {https://www.ac.tuwien.ac.at/files/pub/Szeider05e.pdf},

}