Che Cheng, Yun-Rong Luo, Jie-Hong R. Jiang. Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability. In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024. pages 1862-1872, ijcai.org, 2024. [doi]
Abstract is missing.