Model-Guided Approaches for MaxSAT Solving.

António Morgado Federico Heras João Marques-Silva

Published in: ICTAI (2013)

Keyphrases

computational model
formal model
objective function
probabilistic model
theoretical framework
mathematical model
statistical model
experimental data
hybrid model
data mining
high level
np hard
probability distribution
em algorithm
conceptual model
simulation model