External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas

Roman Gershman, Ofer Strichman. Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas. In Fahiem Bacchus, Toby Walsh, editors, Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings. Volume 3569 of Lecture Notes in Computer Science, pages 423-429, Springer, 2005. [doi]

Authors

Roman Gershman

This author has not been identified. Look up 'Roman Gershman' in Google

Ofer Strichman

This author has not been identified. Look up 'Ofer Strichman' in Google
runs on