forked from MiniZinc/libminizinc
-
Notifications
You must be signed in to change notification settings - Fork 0
/
CITATION.cff
102 lines (100 loc) · 3.64 KB
/
CITATION.cff
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
# This file contains metadata to help users cite MiniZinc in academic
# publications. To add more details, see https://citation-file-format.github.io
# for help.
cff-version: 1.2.0
title: MiniZinc
message: >-
Please use the conference paper “MiniZinc: Towards a Standard CP Modelling
Language” as the primary citation for MiniZinc. *In addition* please consider
using the contained software citation to cite the specific version of MiniZinc
you are using.
type: software
preferred-citation:
title: "MiniZinc: Towards a Standard CP Modelling Language"
type: conference-paper
authors:
- given-names: Nicholas
family-names: Nethercote
affiliation: National ICT Australia and the University of Melbourne
- given-names: Peter J.
family-names: Stuckey
orcid: 'https://orcid.org/0000-0003-2186-0459'
affiliation: National ICT Australia and the University of Melbourne
- given-names: Sebastian
family-names: Brand
affiliation: National ICT Australia and the University of Melbourne
- given-names: Gregory J.
family-names: Duck
email: [email protected]
affiliation: National ICT Australia and the University of Melbourne
orcid: 'https://orcid.org/0000-0002-0837-9671'
- given-names: Guido
family-names: Tack
affiliation: Programming Systems Lab, Saarland University
orcid: 'https://orcid.org/0000-0003-3357-6498'
conference:
name: Principles and Practice of Constraint Programming 2007
location: Providence, RI, USA
collection-type: proceedings
collection-title: Principles and Practice of Constraint Programming - CP 2007
editors:
- given-names: Christian
family-names: Bessière
pages: "529-543"
year: 2007
publisher: Springer
url: 'https://doi.org/10.1007/978-3-540-74970-7_38'
doi: 10.1007/978-3-540-74970-7_38
authors:
- given-names: Guido
family-names: Tack
email: [email protected]
affiliation: Monash University
orcid: 'https://orcid.org/0000-0003-3357-6498'
- given-names: Jip J.
family-names: Dekker
email: [email protected]
affiliation: Monash University
orcid: 'https://orcid.org/0000-0002-0053-6724'
- given-names: Kevin
family-names: Leo
email: [email protected]
affiliation: Monash University
orcid: 'https://orcid.org/0000-0003-4720-4265'
- given-names: Gleb
family-names: Belov
affiliation: Monash University
orcid: 'https://orcid.org/0000-0002-6120-8484'
- given-names: Jason
family-names: Nguyen
email: [email protected]
affiliation: Monash University
- given-names: Maria
family-names: Garcia de la Banda
email: [email protected]
affiliation: Monash University
orcid: 'https://orcid.org/0000-0002-6666-514X'
- given-names: Peter J.
family-names: Stuckey
email: [email protected]
orcid: 'https://orcid.org/0000-0003-2186-0459'
affiliation: Monash University
repository-code: 'https://github.com/MiniZinc/libminizinc'
url: 'https://www.minizinc.org/'
abstract: >-
MiniZinc is a free and open-source constraint modelling language.
You can use MiniZinc to model constraint satisfaction and optimization
problems in a high-level, solver-independent way, taking advantage of a large
library of pre-defined constraints. Your model is then compiled into FlatZinc,
a solver input language that is understood by a wide range of solvers.
keywords:
- constraint modelling
- optimisation
- constraint programming
- Boolean Satisfiability
- mixed integer programming
license: MPL-2.0
identifiers:
- type: doi
value: 10.5281/zenodo.7340323
description: Zenodo Software Archival DOI