Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability.

Che Cheng, Yun-Rong Luo, Jie-Hong R. Jiang

Browse the full IJCAI paper archive.