Login / Signup

MiniMaxSat: A New Weighted Max-SAT Solver.

Federico HerasJavier LarrosaAlbert Oliveras
Published in: SAT (2007)
Keyphrases
  • max sat solver
  • max sat
  • inference rules
  • sat solvers
  • branch and bound
  • data sets
  • neural network
  • data structure
  • state space
  • tabu search
  • belief revision
  • order statistics