Login / Signup

Exploiting Many-Valued Variables in MaxSAT.

Josep ArgelichChu Min LiFelip Manyà
Published in: ISMVL (2017)
Keyphrases
  • upper bound
  • truth values
  • random variables
  • relevant variables
  • lower bound
  • variable selection
  • real time
  • probabilistic model
  • branch and bound algorithm
  • modal logic
  • conceptual clustering