Login / Signup

Some integer formula encodings and related algorithms.

Patrick DevlinEdinah K. Gnang
Published in: Adv. Appl. Math. (2013)
Keyphrases
  • related algorithms
  • database
  • planning problems
  • orders of magnitude
  • lower bound
  • evolutionary algorithm
  • non binary
  • linear temporal logic
  • integer valued