SATformer: Transformers for SAT Solving.

Zhengyuan Shi Min Li Sadaf Khan Hui-Ling Zhen Mingxuan Yuan Qiang Xu

Published in: CoRR (2022)

Keyphrases

sat solving
sat solvers
boolean satisfiability
sat problem
boolean optimization
search space
information retrieval
special case
satisfiability problem
solving problems
symmetry breaking