Reformulation based MaxSAT robustness.

Miquel Bofill Dídac Busquets Víctor Muñoz Mateu Villaret

Published in: Constraints An Int. J. (2013)

Keyphrases

upper bound
search algorithm
neural network
data mining
web services
multiscale
artificial neural networks
branch and bound algorithm
sat solvers
high robustness