On Optimizing a Generic Function in SAT.

Alexander Nadel

Published in: FMCAD (2020)

Keyphrases

search algorithm
constraint satisfaction
neural network
sat solvers
sat solving
learning algorithm
artificial intelligence
high level
satisfiability problem
stochastic local search
propositional satisfiability