Proteus: A Hierarchical Portfolio of Solvers and Transformations

Integration of AI and OR Techniques in Constraint Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07046-9_22 ◽

2014 ◽

pp. 301-317 ◽

Cited By ~ 16

Author(s):

Barry Hurley ◽

Lars Kotthoff ◽

Yuri Malitsky ◽

Barry O’Sullivan

Download Full-text