Login / Signup

Horn Maximum Satisfiability: Reductions, Algorithms and Applications.

João Marques-SilvaAlexey IgnatievAntónio Morgado
Published in: EPIA (2017)
Keyphrases
  • learning algorithm
  • orders of magnitude
  • computational complexity
  • np hard
  • dynamic programming
  • maximum satisfiability