Login / Signup

Solving (Weighted) Partial MaxSAT through Satisfiability Testing.

Carlos AnsóteguiMaria Luisa BonetJordi Levy
Published in: SAT (2009)
Keyphrases
  • satisfiability testing
  • combinatorial optimization
  • propositional logic
  • upper bound
  • neural network
  • case study
  • cost function
  • sat solvers
  • weighted sum
  • boolean optimization
  • database
  • weighted distance