EDA-Driven Preprocessing for SAT Solving.

Zhengyuan Shi Tiebing Tang Sadaf Khan Hui-Ling Zhen Mingxuan Yuan Zhufei Chu Qiang Xu

Published in: CoRR (2024)

Keyphrases

sat solving
preprocessing
sat solvers
boolean satisfiability
boolean optimization
sat problem
information retrieval
max sat
symmetry breaking
reinforcement learning
data structure
search space
optimization problems
combinatorial optimization