Timescales of Boolean satisfiability solver using continuous-time dynamical system.
Hiroshi YamashitaKazuyuki AiharaHideyuki SuzukiPublished in: Commun. Nonlinear Sci. Numer. Simul. (2020)
Keyphrases
- dynamical systems
- boolean satisfiability
- sat solving
- boolean formula
- probabilistic planning
- sat solvers
- branch and bound algorithm
- planning under uncertainty
- randomly generated
- sat problem
- clause learning
- integer linear programming
- partially observable
- symmetry breaking
- state space
- practical problems
- np complete
- phase transition
- reinforcement learning
- max sat
- combinatorial problems
- np hard
- linear constraints
- propositional satisfiability
- dynamical behavior