Homing Sequence Derivation with Quantified Boolean Satisfiability.
Hung-En WangKuan-Hua TuJie-Hong R. JiangNatalia KushikPublished in: ICTSS (2017)
Keyphrases
- boolean satisfiability
- sat solvers
- boolean optimization
- probabilistic planning
- randomly generated
- integer linear programming
- sat problem
- sat solving
- symmetry breaking
- branch and bound algorithm
- max sat
- combinatorial problems
- random sat instances
- linear constraints
- search space
- constraint programming
- linear programming