Exploiting Resolution-Based Representations for MaxSAT Solving.

Miguel Neves Ruben Martins Mikolás Janota Inês Lynce Vasco M. Manquinho

Published in: SAT (2015)

Keyphrases

combinatorial optimization
upper bound
branch and bound algorithm
database
neural network
case study
social networks
similarity measure
high resolution
low resolution
symbolic representation
image resolution