Á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]
Abstract is missing.