53 citations · 128 across the 16 of their papers we have counts for
Showing 2016Show 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.LO2016★ 16 cited
On Local Domain Symmetry for Model Expansion
Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe +1
Symmetry in combinatorial problems is an extensively studied topic. We continue this research in the context of model expansion problems, with the aim of automating the workflow of…