Constrained Symbolic Search: On Mutexes, BDD Minimization and More | Publicación