Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check.

Edward Lam Graeme Gange Peter J. Stuckey Pascal Van Hentenryck Jip J. Dekker

Published in: Oper. Res. Forum (2020)

Keyphrases

databases
expert systems
constraint programming
machine learning
artificial intelligence
decision trees
case study
artificial neural networks
feasible solution
specially designed
hybrid learning