Login / Signup

Efficient Application of Max-SAT Resolution on Inconsistent Subsets.

André AbraméDjamal Habet
Published in: CP (2014)
Keyphrases
  • max sat
  • branch and bound algorithm
  • search algorithm
  • evolutionary algorithm
  • scheduling problem
  • conditional probabilities
  • sat solvers
  • sat problem