Core-Boosted Linear Search for Incomplete MaxSAT.

Jeremias Berg Emir Demirovic Peter J. Stuckey

Published in: CPAIOR (2019)

Keyphrases

search algorithm
search efficiency
search space
search strategy
combinatorial optimization
search strategies
data sets
neural network
search engine
bayesian networks
upper bound
missing data
closed form
query formulation
search mechanism