Generating Weighted MAX-2-SAT Instances of Tunable Difficulty with Frustrated Loops.

Yan Ru Pei Haik Manukian Massimiliano Di Ventra

Published in: CoRR (2019)

Keyphrases

weighted max sat
max sat
sat solvers
branch and bound algorithm
lower bound
sat problem
data structure
search algorithm
randomly generated
evolutionary algorithm
branch and bound
satisfiability problem
sat instances
propositional satisfiability
boolean satisfiability