Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

MiniZinc: Towards a Standard CP Modelling Language

2007732 citationsBook Chapter

Authors

Nicholas Nethercote · University of Melbourne

Peter J. Stuckey · University of Melbourne

Ralph Becket · Data61

Sebastian Brand · Data61

Gregory J. Duck · University of Melbourne

Guido Tack · Saarland University

Topics & Keywords

Constraint Satisfaction and Optimization Model-Driven Software Engineering Techniques Formal Methods in Verification

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-540-74970-7_38

Field-Weighted Citation Impact: 20.42

MiniZinc: Towards a Standard CP Modelling Language | Researchclopedia