Login / Signup
PSMT: Satisfiability Modulo Theories Meets Probability Distribution.
Fuqi Jia
Rui Han
Xutong Ma
Baoquan Cui
Minghao Liu
Pei Huang
Feifei Ma
Jian Zhang
Published in:
ASE (2023)
Keyphrases
</>
probability distribution
satisfiability modulo theories
modulo theories
answer set programming
bayesian networks
sat solvers
boolean variables
decision trees
expert systems
relational databases
search space
optimization problems