Reformulation Based MaxSAT Robustness - (Extended Abstract).

Miquel Bofill Dídac Busquets Mateu Villaret

Published in: CP (2014)

Keyphrases

extended abstract
data sets
information systems
machine learning
combinatorial optimization
high robustness
real world
learning algorithm
metadata
video sequences
search algorithm
evolutionary algorithm
branch and bound algorithm