Tom van Dijk, Alfons Laarman, Jaco van de Pol. Multi-Core BDD Operations for Symbolic Reachability. Electronic Notes in Theoretical Computer Science, 296:127-143, 2013. [doi]
@article{DijkLP13, title = {Multi-Core BDD Operations for Symbolic Reachability}, author = {Tom van Dijk and Alfons Laarman and Jaco van de Pol}, year = {2013}, doi = {10.1016/j.entcs.2013.07.009}, url = {http://dx.doi.org/10.1016/j.entcs.2013.07.009}, researchr = {https://researchr.org/publication/DijkLP13}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {296}, pages = {127-143}, }