Yun-Rong Luo

Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability

Knowledge compilation has proven effective in (weighted) model counting, uniquely supporting incrementality and checkability. For incrementality, compiling an input formula once suffices to answer multiple queries, thus reducing the total solving effort. For checkability, the compiled formula is ame…