CLASSIC’CL: An Integrated ILP System
2005 ◽
pp. 354-362
◽