Login / Signup
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