On Incremental Core-Guided MaxSAT Solving.

Xujie Si Xin Zhang Vasco M. Manquinho Mikolás Janota Alexey Ignatiev Mayur Naik

Published in: CP (2016)

Keyphrases

combinatorial optimization
upper bound
incremental learning
boolean optimization
neural network
lower bound
unsatisfiable cores
learning algorithm
database systems
objective function
multi agent systems
machine learning
data driven
branch and bound algorithm
databases
exact solution
incremental clustering
database