Login / Signup
Solving (Weighted) Partial MaxSAT through Satisfiability Testing.
Carlos Ansótegui
Maria Luisa Bonet
Jordi 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