Author:
van Dijk Tom,Meijer Jeroen,van de Pol Jaco
Publisher
Springer International Publishing
Reference34 articles.
1. Aloul, F.A., Markov, I.L., Sakallah, K.A.: FORCE: a fast and easy-to-implement variable-ordering heuristic. In: VLSI 2003, pp. 116–119. ACM (2003)
2. Lecture Notes in Computer Science;EG Amparore,2017
3. Amparore, E.G., Donatelli, S., Beccuti, M., Garbi, G., Miner, A.S.: Decision diagrams for Petri nets: which variable ordering? In: PNSE @ Petri Nets. CEUR Workshop Proceedings, vol. 1846, pp. 31–50. CEUR-WS.org (2017)
4. Babar, J., Miner, A.S.: Meddly: multi-terminal and edge-valued decision diagram library. In: QEST, pp. 195–196. IEEE Computer Society (2010)
5. Lecture Notes in Computer Science;S Blom,2010
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Decision Diagram Operation for Reachability;Formal Methods;2023
2. Improving swarming using genetic algorithms;Innovations in Systems and Software Engineering;2020-06
3. Presentation of the 9th Edition of the Model Checking Contest;Tools and Algorithms for the Construction and Analysis of Systems;2019