Login / Signup

The Inez Mathematical Programming Modulo Theories Framework.

Panagiotis ManoliosJorge PaisVasilis Papavasileiou
Published in: CAV (2) (2015)
Keyphrases
  • mathematical programming
  • modulo theories
  • genetic algorithm
  • linear programming
  • np complete
  • logic programs
  • constraint solving