Author:
Dal Giso H.,Laarman Alfons,Lucas Peter J. F.
Publisher
Springer Nature Switzerland
Reference35 articles.
1. Bahar, R.I., et al.: Algebraic decision diagrams and their applications. In: Proceedings of 1993 International Conference on Computer Aided Design, pp. 188–191 (1993)
2. Lecture Notes in Computer Science;E Bartocci,2020
3. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. Trans. Comput. 100, 677–691 (1986)
4. Ceylan, I.I., Darwiche, A., Van den Broeck, G.: Open-world probabilistic databases: semantics, algorithms, complexity. Artif. Intell. 295, 103–123 (2021)
5. Chavira, M., Darwiche, A.: On probabilistic inference by weighted model counting. Artif. Intell. 172, 772–799 (2008)