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.

BDD-Guided Clause Generation

Brian Kell, Ashish Sabharwal, Willem Jan van Hoeve. BDD-Guided Clause Generation. In Laurent Michel, editor, Integration of AI and OR Techniques in Constraint Programming - 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings. Volume 9075 of Lecture Notes in Computer Science, pages 215-230, Springer, 2015. [doi]

Authors

Brian Kell

This author has not been identified. Look up 'Brian Kell' in Google

Ashish Sabharwal

This author has not been identified. Look up 'Ashish Sabharwal' in Google

Willem Jan van Hoeve

This author has not been identified. Look up 'Willem Jan van Hoeve' in Google
runs on