Login / Signup
Variational satisfiability solving: efficiently solving lots of related SAT problems.
Jeffrey M. Young
Paul Maximilian Bittner
Eric Walkingshaw
Thomas Thüm
Published in:
Empir. Softw. Eng. (2023)
Keyphrases
</>
sat problem
sat instances
satisfiability problem
stochastic local search
sat solving
combinatorial optimization
np complete problems
constraint satisfaction problems
propositional logic
sat encodings
solving hard