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]
@inproceedings{HeuleJB13,
title = {Revisiting Hyper Binary Resolution},
author = {Marijn Heule and Matti Järvisalo and Armin Biere},
year = {2013},
doi = {10.1007/978-3-642-38171-3_6},
url = {http://dx.doi.org/10.1007/978-3-642-38171-3_6},
researchr = {https://researchr.org/publication/HeuleJB13},
cites = {0},
citedby = {0},
pages = {77-93},
booktitle = {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},
editor = {Carla P. Gomes and Meinolf Sellmann},
volume = {7874},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-38171-3},
}