19 citations · 19 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2016
A MIP Backend for the IDP System
San Pham, Jo Devriendt, Maurice Bruynooghe +1
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…
cs.AI2015★ 19 cited
Second International Nurse Rostering Competition (INRC-II) --- Problem Description and Rules ---
Sara Ceschia, Nguyen Thi Thanh Dang, Patrick De Causmaecker +2
In this paper, we provide all information to participate to the Second International Nurse Rostering Competition (INRC-II). First, we describe the problem formulation, which, diffe…