Reduced Cost Fixing in MaxSAT.

Fahiem Bacchus Antti Hyttinen Matti Järvisalo Paul Saikko

Published in: CP (2017)

Keyphrases

minimal cost
high cost
upper bound
cost reduction
storage space
data structure
database systems
significantly reduced
search algorithm
lower bound
active learning
orders of magnitude
communication cost
case study
minimum cost
decision making
production cost
artificial intelligence
information retrieval