19 citations · 20 across the 4 of their papers we have counts for
1 paper · 1 filter
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…