iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/books/sp/18/DijkP18.xml
Tom van Dijk Jaco van de Pol Multi-core Decision Diagrams. 509-545 2018 Handbook of Parallel Constraint Reasoning https://doi.org/10.1007/978-3-319-63516-3_13 books/sp/HS2018 db/books/collections/HS2018.html#DijkP18