Login / Signup
Partial Compilation of SAT Using Selective Backbones.
Andrea Balogh
Guillaume Escamocher
Barry O'Sullivan
Published in:
ECAI (2023)
Keyphrases
</>
model counting
satisfiability problem
sat solvers
search algorithm
evolutionary algorithm
phase transition
sat problem
sat solving
neural network
np complete
sat instances
stochastic local search