Dual Approach to Solving SAT in Hardware.
Dinesh D. NarasimharajuR. S. Suraj RaoAkshaya Sandeep WaingadeAtif YasinMaciej J. CiesielskiPublished in: DTIS (2020)
Keyphrases
- stochastic local search
- sat solving
- np complete problems
- low cost
- real time
- sat instances
- boolean optimization
- graph coloring
- np complete
- phase transition
- sat solvers
- hardware and software
- sat problem
- solving hard
- boolean satisfiability
- weighted max sat
- sat encodings
- quadratic programming problems
- satisfiability problem
- variable ordering
- gradient projection
- integer linear programming
- davis putnam logemann loveland
- vlsi implementation
- propositional satisfiability
- max sat
- combinatorial problems
- hardware implementation
- image processing