%0 Conference Paper %1 conf/socs/TorralbaA13 %A Torralba, Álvaro %A Alcázar, Vidal %B SOCS %D 2013 %E Helmert, Malte %E Röger, Gabriele %I AAAI Press %K dblp %P 175-183 %T Constrained Symbolic Search: On Mutexes, BDD Minimization and More. %U http://dblp.uni-trier.de/db/conf/socs/socs2013.html#TorralbaA13 %@ 978-1-57735-584-7

@inproceedings{conf/socs/TorralbaA13, added-at = {2023-12-18T00:00:00.000+0100}, author = {Torralba, Álvaro and Alcázar, Vidal}, biburl = {https://www.bibsonomy.org/bibtex/2c25ad2742247163580ff03d236593a24/dblp}, booktitle = {SOCS}, crossref = {conf/socs/2013}, editor = {Helmert, Malte and Röger, Gabriele}, ee = {https://doi.org/10.1609/socs.v4i1.18285}, interhash = {dbefdfd0489a55f590fc8ababb51a8fb}, intrahash = {c25ad2742247163580ff03d236593a24}, isbn = {978-1-57735-584-7}, keywords = {dblp}, pages = {175-183}, publisher = {AAAI Press}, timestamp = {2024-04-10T01:02:26.000+0200}, title = {Constrained Symbolic Search: On Mutexes, BDD Minimization and More.}, url = {http://dblp.uni-trier.de/db/conf/socs/socs2013.html#TorralbaA13}, year = 2013 }