conftrace_

stochastic boolean satisfiability

9 papers

Explore in graph

Also known as

SSAT

Co-occurring keywords · papers mentioning both

quantified boolean formula (4) clause selection (2) dependency quantified boolean formula (2) model counting (2) skolem function (1) decision procedure (1) decentralized partially observable markov decision process (1) probabilistic system (1) parameter synthesis (1) logic synthesis (1)

Papers

Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability IJCAI 2024 Unifying Decision and Function Queries in Stochastic Boolean Satisfiability AAAI 2024 Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT AAAI 2023 SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver AAAI 2023 Encoding Probabilistic Graphical Models into Stochastic Boolean Satisfiability IJCAI 2022 A Sharp Leap from Quantified Boolean Formula to Stochastic Boolean Satisfiability Solving AAAI 2021 Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty AAAI 2021 Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection IJCAI 2018 Solving Stochastic Boolean Satisfiability under Random-Exist Quantification IJCAI 2017