Login / Signup
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary.
Jeffrey M. Young
Paul Maximilian Bittner
Eric Walkingshaw
Thomas Thüm
Published in:
Software Engineering (2023)
Keyphrases
</>
sat problem
stochastic local search
sat instances
np complete
sat solving
satisfiability problem
np complete problems
phase transition
sat solvers
randomly generated
random sat
computational complexity
search space
orders of magnitude
max sat
random sat instances