Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient.
Hiroshi YamashitaKazuyuki AiharaHideyuki SuzukiPublished in: Commun. Nonlinear Sci. Numer. Simul. (2021)
Keyphrases
- numerical simulations
- boolean satisfiability
- navier stokes
- sat solving
- boolean formula
- sat solvers
- branch and bound algorithm
- theoretical analysis
- probabilistic planning
- randomly generated
- integer linear programming
- symmetry breaking
- sat problem
- clause learning
- temperature field
- computational fluid dynamics
- dynamical systems
- lower bound
- fluid dynamics
- markov chain
- phase transition
- combinatorial problems
- optimal control
- satisfiability problem
- max sat
- velocity field
- branch and bound