Login / Signup
SAT Backdoors: Depth Beats Size.
Jan Dreier
Sebastian Ordyniak
Stefan Szeider
Published in:
CoRR (2022)
Keyphrases
</>
sat solvers
satisfiability problem
sat instances
memory requirements
boolean satisfiability
data sets
small size
database
search tree
stochastic local search algorithms