The Complexity of Resolution With Generalized Symmetry Rules

Theory of Computing Systems - United States
doi 10.1007/s00224-004-1192-0
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC


Related search