A 32.5mW Mixed-Signal Processing-in-Memory-Based k-SAT Solver in 65nm CMOS with 74.0% Solvability for 3D-Variable 126-Clause 3-SAT Problems.
Daehyun KimNael Mizanur RahmanSaibal MukhopadhyayPublished in: ISSCC (2023)
Keyphrases
- sat problem
- sat solvers
- boolean formula
- truth assignment
- power consumption
- clause learning
- cnf formula
- sat solving
- boolean satisfiability
- max sat
- propositional satisfiability
- search space
- satisfiability problem
- boolean variables
- orders of magnitude
- sat instances
- search strategies
- constraint satisfaction problems
- np complete
- constraint satisfaction
- phase transition
- davis putnam
- conjunctive normal form
- search tree
- decision problems
- randomly generated
- heuristic search
- search algorithm