The Design of the Zinc Modelling Language
Constraints
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
MiniZinc: towards a standard CP modelling language
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
From high-level model to branch-and-price solution in G12
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Adding constraint solving to mercury
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
An integrated modelling, debugging, and visualisation environment for G12
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Visualising Reasoning: What ATP Can Learn From CP
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
This paper presents the G12 large scale optimisation software platform, and discusses aspects of its architecture.