The OPL optimization programming language
The OPL optimization programming language
CSPLIB: A Benchmark Library for Constraints
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Constraint Logic Programming using Eclipse
Constraint Logic Programming using Eclipse
MINION: A Fast, Scalable, Constraint Solver
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
The design of ESSENCE: a constraint language for specifying combinatorial problems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Towards "propagation = logic + control"
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Model-driven constraint programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Universal Booleanization of Constraint Models
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Cadmium: An Implementation of ACD Term Rewriting
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Compiling and Executing Declarative Modeling Languages to Gecode
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
G12 - Towards the Separation of Problem Modelling and Problem Solving
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
CP-INSIDE: Embedding Constraint-Based Decision Engines in Business Applications
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + +
HM '09 Proceedings of the 6th International Workshop on Hybrid Metaheuristics
Flexible, rule-based constraint model linearisation
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
The proper treatment of undefinedness in constraint languages
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Philosophy of the MiniZinc challenge
Constraints
Meeting ecologists' requirements with adaptive data acquisition
Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems
A 25-year perspective on logic programming
Applying constraint programming to identification and assignment of service professionals
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
An integrated modelling, debugging, and visualisation environment for G12
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
MDE-based approach for generalizing design space exploration
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
High-level modeling of component-based CSPs
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Integration of RESTfulBP with BDIM decision making
Middleware '10 Posters and Demos Track
Controlling search in constrained-object models
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Grammatical error simulation for computer-assisted language learning
Knowledge-Based Systems
Grounding formulas with complex terms
Canadian AI'11 Proceedings of the 24th Canadian conference on Advances in artificial intelligence
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
Half reification and flattening
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Boolean equi-propagation for optimized SAT encoding
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Constraint-based model refactoring
Proceedings of the 14th international conference on Model driven engineering languages and systems
The GDSE framework: a meta-tool for automated design space exploration
Proceedings of the 10th Workshop on Domain-Specific Modeling
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Theory and Practice of Logic Programming - Prolog Systems
Model search: formalizing and automating constraint solving in MDE platforms
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
A system for solving constraint satisfaction problems with SMT
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
Automatically exploiting subproblem equivalence in constraint programming
CPAIOR'10 Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Support for the business motivation model in the WS-Policy4MASC language and MiniZnMASC middleware
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
A complete solution to the Maximum Density Still Life Problem
Artificial Intelligence
Cell formation in group technology using constraint programming and Boolean satisfiability
Expert Systems with Applications: An International Journal
Activity-Based search for black-box constraint programming solvers
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Solving manufacturing cell design problems using constraint programming
IEA/AIE'12 Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence
Visualising Reasoning: What ATP Can Learn From CP
Electronic Notes in Theoretical Computer Science (ENTCS)
Local consistency and SAT-solvers
Journal of Artificial Intelligence Research
Optimisation modelling for software developers
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Application of business-driven decision making to RESTful business processes
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Comparing the effectiveness of reasoning formalisms for partial models
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Compiling finite domain constraints to sat with bee*
Theory and Practice of Logic Programming
A declarative approach to automated configuration
lisa'12 Proceedings of the 26th international conference on Large Installation System Administration: strategies, tools, and techniques
Constraints
ACSC '12 Proceedings of the Thirty-fifth Australasian Computer Science Conference - Volume 122
Finite type extensions in constraint programming
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Representing and solving finite-domain constraint problems using systems of polynomials
Annals of Mathematics and Artificial Intelligence
Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems
Journal of Artificial Intelligence Research
Inductive definitions in constraint programming
ACSC '13 Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
MiningZinc: a modeling language for constraint-based mining
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Explaining circuit propagation
Constraints
Hi-index | 0.00 |
There is no standard modelling language for constraint programming (CP) problems. Most solvers have their own modelling language. This makes it difficult for modellers to experiment with different solvers for a problem. In this paper we present MiniZinc, a simple but expressive CP modelling language which is suitable for modelling problems for a range of solvers and provides a reasonable compromise between many design possibilities. Equally importantly, we also propose a low-level solver-input language called FlatZinc, and a straightforward translation from MiniZinc to FlatZinc that preserves all solver-supported global constraints. This lets a solver writer support MiniZinc with a minimum of effort-- they only need to provide a simple FlatZinc front-end to their solver, and then combine it with an existing MiniZinc-to-FlatZinc translator. Such a front-end may then serve as a stepping stone towards a full MiniZinc implementation that is more tailored to the particular solver. A standard language for modelling CP problems will encourage experimentation with and comparisons between different solvers. Although MiniZinc is not perfect--no standard modelling language will be--we believe its simplicity, expressiveness, and ease of implementation make it a practical choice for a standard language.