Cheng et al. "Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability." International Joint Conference on Artificial Intelligence, 2024.
Markdown
[Cheng et al. "Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/cheng2024ijcai-knowledge/)
BibTeX
@inproceedings{cheng2024ijcai-knowledge,
title = {{Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability}},
author = {Cheng, Che and Luo, Yun-Rong and Jiang, Jie-Hong R.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2024},
pages = {1862-1872},
url = {https://mlanthology.org/ijcai/2024/cheng2024ijcai-knowledge/}
}