Álvaro Torralba, Vidal Alcázar. Constrained Symbolic Search: On Mutexes, BDD Minimization and More. In Malte Helmert, Gabriele Röger, editors, Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013. pages 175-183, AAAI Press, 2013. [doi]
@inproceedings{TorralbaA13,
title = {Constrained Symbolic Search: On Mutexes, BDD Minimization and More},
author = {Álvaro Torralba and Vidal Alcázar},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SOCS/SOCS13/paper/view/7233},
researchr = {https://researchr.org/publication/TorralbaA13},
cites = {0},
citedby = {0},
pages = {175-183},
booktitle = {Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013},
editor = {Malte Helmert and Gabriele Röger},
publisher = {AAAI Press},
isbn = {978-1-57735-584-7},
}