Login / Signup

Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming.

Erlendur S. Thorsteinsson
Published in: CP (2001)
Keyphrases
  • mixed integer programming
  • constraint logic programming
  • artificial intelligence
  • constraint solving
  • genetic algorithm
  • probabilistic model
  • column generation