Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT.

Saurabh Joshi Prateek Kumar Sukrut Rao Ruben Martins

Published in: J. Satisf. Boolean Model. Comput. (2019)

Keyphrases

weight function
combinatorial optimization
approximation error
error bounds
noisy data
weighted sum
data sets
decision trees
order statistics
neural network
branch and bound algorithm
incomplete data
online auctions
optimal strategy
boolean satisfiability
lp norm