Computing 3SAT on a Fold-and-Cut Machine.

Byoungkwon An Erik D. Demaine Martin L. Demaine Jason S. Ku

Published in: CCCG (2017)

Keyphrases

satisfiability problem
neural network
constraint satisfaction
flowshop
sat solvers
sat solving
stochastic local search algorithms