A Probability Distribution Strategy with Efficient Clause Selection for Hard Max-SAT Formulas.
Sixue LiuYulong CengGerard de MeloPublished in: CoRR (2016)
Keyphrases
- probability distribution
- max sat
- cnf formula
- information retrieval
- search algorithm
- boolean formula
- sat solvers
- weighted max sat
- horn clauses
- branch and bound algorithm
- satisfiability problem
- truth assignment
- sat problem
- search strategy
- constraint satisfaction
- utility function
- upper bound
- computational complexity
- objective function