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.

Revisiting Hyper Binary Resolution

Marijn Heule, Matti Järvisalo, Armin Biere. Revisiting Hyper Binary Resolution. In Carla P. Gomes, Meinolf Sellmann, editors, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings. Volume 7874 of Lecture Notes in Computer Science, pages 77-93, Springer, 2013. [doi]

Authors

Marijn Heule

This author has not been identified. Look up 'Marijn Heule' in Google

Matti Järvisalo

This author has not been identified. Look up 'Matti Järvisalo' in Google

Armin Biere

This author has not been identified. Look up 'Armin Biere' in Google
runs on