An analog SAT solver based on a deterministic dynamical system: (Invited paper).
Xunzhao YinZoltán ToroczkaiXiaobo Sharon HuPublished in: ICCAD (2017)
Keyphrases
- dynamical systems
- invited paper
- sat solvers
- orders of magnitude
- sat solving
- boolean satisfiability
- differential equations
- sat problem
- sat instances
- search strategies
- constraint satisfaction
- search space
- nonlinear dynamical systems
- state space
- dynamical behavior
- phase space
- boolean formula
- immune network
- lecture notes
- optimal policy
- probabilistic model
- past observations
- evolutionary algorithm