Login / Signup

An Empirical Study of Encodings for Group MaxSAT.

Federico HerasAntónio MorgadoJoã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