A MIP Backend for the IDP System
Artificial Intelligence
2016-09-06 v1
Abstract
The IDP knowledge base system currently uses MiniSAT(ID) as its backend Constraint Programming (CP) solver. A few similar systems have used a Mixed Integer Programming (MIP) solver as backend. However, so far little is known about when the MIP solver is preferable. This paper explores this question. It describes the use of CPLEX as a backend for IDP and reports on experiments comparing both backends.
Cite
@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}
}
Comments
internal report, 10 pages, 2 figures