SAT Backdoors: Depth Beats Size.

Jan Dreier Sebastian Ordyniak Stefan Szeider

Published in: ESA (2022)

Keyphrases

satisfiability problem
sat solvers
sat instances
orders of magnitude
boolean satisfiability
memory requirements
search algorithm
phase transition
database
depth map
stochastic local search algorithms
temporal logic
knowledge representation
real time
np hard
objective function
max sat
three dimensional
case study