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.

Preprocessing QBF

Horst Samulowitz, Jessica Davies, Fahiem Bacchus. Preprocessing QBF. In Frédéric Benhamou, editor, Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings. Volume 4204 of Lecture Notes in Computer Science, pages 514-529, Springer, 2006. [doi]

Authors

Horst Samulowitz

This author has not been identified. Look up 'Horst Samulowitz' in Google

Jessica Davies

This author has not been identified. Look up 'Jessica Davies' in Google

Fahiem Bacchus

This author has not been identified. Look up 'Fahiem Bacchus' in Google
runs on