Stochastic Boolean Satisfiability.
Michael L. LittmanStephen M. MajercikToniann PitassiPublished in: J. Autom. Reason. (2001)
Keyphrases
- boolean satisfiability
- sat solvers
- boolean optimization
- probabilistic planning
- sat solving
- branch and bound algorithm
- symmetry breaking
- sat problem
- randomly generated
- maximum satisfiability
- combinatorial problems
- integer linear programming
- max sat
- constraint programming
- sat instances
- boolean formula
- objective function
- ai planning
- traveling salesman problem
- simulated annealing