MaxSAT-based encodings for Group MaxSAT.

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

Published in: AI Commun. (2015)

Keyphrases

boolean satisfiability
upper bound
sat solvers
combinatorial optimization
maximum satisfiability
branch and bound algorithm
orders of magnitude
neural network
sat problem
databases
lower bound
simulated annealing
unsatisfiable cores
database
maximum clique
feature selection
real time