19 citations · 19 across the 3 of their papers we have counts for
3 papers
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…
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…
On the number of antichains of sets in a finite universe
Patrick De Causmaecker, Stefan De Wannemacker
Properties of intervals in the lattice of antichains of subsets of a universe of finite size are investigated. New objects and quantities in this lattice are defined. Expressions a…