The Synthesis of Cyclic Dependencies with Boolean Satisfiability.
John D. BackesMarc D. RiedelPublished in: ACM Trans. Design Autom. Electr. Syst. (2012)
Keyphrases
- boolean satisfiability
- sat solvers
- boolean optimization
- probabilistic planning
- branch and bound algorithm
- randomly generated
- sat problem
- sat solving
- integer linear programming
- symmetry breaking
- maximum satisfiability
- phase transition
- combinatorial problems
- lower bound
- random sat instances
- sat instances
- upper bound
- boolean formula
- propositional satisfiability
- max sat
- constraint satisfaction problems