Sign in

Solving weighted MAX-SAT via global equilibrium search.

Oleg V. ShyloOleg A. ProkopyevVladimir Shylo
Published in: Oper. Res. Lett. (2008)
Keyphrases
  • weighted max sat
  • max sat
  • search algorithm
  • search space
  • tabu search
  • lower bound
  • test collection
  • markov decision processes
  • combinatorial optimization
  • search methods