Login / Signup
Solving (Weighted) Partial MaxSAT with ILP.
Carlos Ansótegui
Joel Gabàs
Published in:
CPAIOR (2013)
Keyphrases
</>
combinatorial optimization
branch and bound algorithm
boolean optimization
database
upper bound
inductive logic programming
evolutionary algorithm
background knowledge
weighted sum
case study
relational databases