Accelerating SAT Solving Using Switching ASICs.

Zhenpei Huang Xiwen Fan Jinghui Jiang Mingyuan Song Lu Tang Qiao Xiang Jiwu Shu

Published in: ICPADS (2023)

Keyphrases

sat solving
sat solvers
boolean satisfiability
boolean optimization
sat problem
sat encodings
orders of magnitude
linear programming
max sat
dynamic programming
search methods
satisfiability problem
sat instances
clause learning