Login / Signup
On Limits of Symbolic Approach to SAT Solving.
Dmitry Itsykson
Sergei Ovcharov
Published in:
SAT (2024)
Keyphrases
</>
sat solving
sat solvers
boolean satisfiability
sat problem
boolean optimization
max sat
reinforcement learning
simulated annealing
sat encodings