IDP系统的混合整数规划后端
人工智能
2016-09-06 v1
摘要
IDP知识库系统目前使用MiniSAT(ID)作为其后台约束规划(CP)求解器。少数类似的系统使用了混合整数规划(MIP)求解器作为后端。然而，迄今为止关于何时MIP求解器更具优势尚知之甚少。本文探讨了这一问题。本文描述了将CPLEX作为IDP后端的使用方法，并报告了比较这两种后端的实验结果。
引用
@article{arxiv.1609.00759,
title = {A MIP Backend for the IDP System},
author = {San Pham and Jo Devriendt and Maurice Bruynooghe and Patrick De Causmaecker},
journal= {arXiv preprint arXiv:1609.00759},
year = {2016}
}
备注
internal report, 10 pages, 2 figures