Login / Signup

MiniMaxSAT: An Efficient Weighted Max-SAT solver.

Federico HerasJavier LarrosaAlbert Oliveras
Published in: J. Artif. Intell. Res. (2008)
Keyphrases
  • max sat solver
  • max sat
  • inference rules
  • neural network
  • machine learning
  • order statistics
  • branch and bound algorithm
  • weighted sum