Generating Weighted MAX-2-SAT Instances with Frustrated Loops: an RBM Case Study.

Yan Ru Pei Haik Manukian Massimiliano Di Ventra

Published in: J. Mach. Learn. Res. (2020)

Keyphrases

weighted max sat
case study
max sat
sat solvers
randomly generated
sat problem
boolean satisfiability
search algorithm
tabu search
restricted boltzmann machine
graphical models
linear programming
branch and bound algorithm
satisfiability problem