Unifying Decision and Function Queries in Stochastic Boolean Satisfiability.

Yu-Wei Fan Jie-Hong R. Jiang

Published in: AAAI (2024)

Keyphrases

boolean satisfiability
boolean optimization
query processing
sat solvers
query language
decision makers
branch and bound algorithm
sat problem
probabilistic planning
decision problems
randomly generated
evolutionary algorithm
user queries
sat instances
symmetry breaking