Login / Signup

Iterative and core-guided MaxSAT solving: A survey and assessment.

António MorgadoFederico HerasMark H. LiffitonJordi PlanesJoão Marques-Silva
Published in: Constraints An Int. J. (2013)
Keyphrases
  • combinatorial optimization
  • upper bound
  • boolean optimization
  • data sets
  • artificial intelligence
  • assessment process
  • social networks
  • multi agent
  • simulated annealing