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]

Abstract

Abstract is missing.

runs on