The Complexity of Resolution With Generalized Symmetry Rules
Theory of Computing Systems - United States
doi 10.1007/s00224-004-1192-0
Full Text
Open PDFAbstract
Available in full text
Date
January 21, 2005
Authors
Publisher
Springer Science and Business Media LLC