Variational satisfiability solving.

Jeffrey M. Young Eric Walkingshaw Thomas Thüm

Published in: SPLC (A) (2020)

Keyphrases

satisfiability problem
image segmentation
stochastic local search
sat solving
propositional logic
proximal point algorithm
data sets
multiscale
reinforcement learning
search algorithm
evolutionary algorithm
sat instances