Revisiting Hyper Binary Resolution (bibtex)
by M. Heule, M. Järvisalo, A. Biere
Reference:
Revisiting Hyper Binary ResolutionM. Heule, M. Järvisalo, A. BiereProc. 10th Intl. Conf. on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR'13), volume 7874 of LNCS, pages 77-93, 2013, Springer.
Bibtex Entry:
@inproceedings{HeuleJarvisaloBiere-CPAIOR13,
publisher = {Springer},
title = {Revisiting Hyper Binary Resolution},
url = {/pubpdf/Revisiting_Hyper_Binary_Resolution.pdf},
series = {LNCS},
booktitle = {Proc.~10th Intl.~Conf.~on Integration of Artificial Intelligence
and Operations Research Techniques in Constraint Programming (CPAIOR'13)},
author = {M. Heule and M. J\"{a}rvisalo and A. Biere},
volume = {7874},
year = {2013},
pages = {77-93},
}
Powered by bibtexbrowser