Login / Signup
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