Login / Signup
An Empirical Study of Encodings for Group MaxSAT.
Federico Heras
António Morgado
João Marques-Silva
Published in:
Canadian Conference on AI (2012)
Keyphrases
</>
boolean satisfiability
upper bound
group membership
group members
database
neural network
case study
special case
combinatorial optimization
branch and bound algorithm