uu.seUppsala University Publications
Change search
Link to record
Permanent link

Direct link
BETA
Alternative names
Publications (10 of 104) Show all publications
Björdal, G., Flener, P., Pearson, J., Stuckey, P. J. & Tack, G. (2018). Declarative local-search neighbourhoods in MiniZinc. In: Proc. 30th International Conference on Tools with Artificial Intelligence: . Paper presented at ICTAI 2018, November 5–7, Volos, Greece (pp. 98-105). IEEE Computer Society
Open this publication in new window or tab >>Declarative local-search neighbourhoods in MiniZinc
Show others...
2018 (English)In: Proc. 30th International Conference on Tools with Artificial Intelligence, IEEE Computer Society, 2018, p. 98-105Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
IEEE Computer Society, 2018
National Category
Computer Sciences
Identifiers
urn:nbn:se:uu:diva-368077 (URN)10.1109/ICTAI.2018.00025 (DOI)978-1-5386-7449-9 (ISBN)
Conference
ICTAI 2018, November 5–7, Volos, Greece
Available from: 2018-12-24 Created: 2018-12-03 Last updated: 2018-12-28Bibliographically approved
Francisco Rodríguez, M. A., Flener, P. & Pearson, J. (2017). Automatic generation of descriptions of time-series constraints. In: Proc. 29th International Conference on Tools with Artificial Intelligence: . Paper presented at ICTAI 2017, November 6–8, Boston, MA (pp. 102-109). IEEE Computer Society
Open this publication in new window or tab >>Automatic generation of descriptions of time-series constraints
2017 (English)In: Proc. 29th International Conference on Tools with Artificial Intelligence, IEEE Computer Society, 2017, p. 102-109Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
IEEE Computer Society, 2017
National Category
Computer Sciences
Identifiers
urn:nbn:se:uu:diva-332145 (URN)10.1109/ICTAI.2017.00027 (DOI)978-1-5386-3876-7 (ISBN)
Conference
ICTAI 2017, November 6–8, Boston, MA
Available from: 2018-06-07 Created: 2017-10-24 Last updated: 2018-06-15Bibliographically approved
Dekker, J. J., Björdal, G., Carlsson, M., Flener, P. & Monette, J.-N. (2017). Auto-tabling for subproblem presolving in MiniZinc. Constraints, 22(4), 512-529
Open this publication in new window or tab >>Auto-tabling for subproblem presolving in MiniZinc
Show others...
2017 (English)In: Constraints, ISSN 1383-7133, E-ISSN 1572-9354, Vol. 22, no 4, p. 512-529Article in journal (Refereed) Published
National Category
Computer Sciences
Identifiers
urn:nbn:se:uu:diva-330533 (URN)10.1007/s10601-017-9270-5 (DOI)000407820400003 ()
Funder
Swedish Research Council, 2015-4910
Available from: 2017-06-06 Created: 2017-10-10 Last updated: 2018-01-13Bibliographically approved
Scott, J. D., Flener, P., Pearson, J. & Schulte, C. (2017). Design and implementation of bounded-length sequence variables. In: Integration of AI and OR Techniques in Constraint Programming: . Paper presented at CPAIOR 2017, June 5–8, Padua, Italy (pp. 51-67).
Open this publication in new window or tab >>Design and implementation of bounded-length sequence variables
2017 (English)In: Integration of AI and OR Techniques in Constraint Programming, 2017, p. 51-67Conference paper, Published paper (Refereed)
Abstract [en]

We present the design and implementation of bounded length sequence (BLS) variables for a CP solver. The domain of a BLS variable is represented as the combination of a set of candidate lengths and a sequence of sets of candidate characters. We show how this representation, together with requirements imposed by propagators, affects the implementation of BLS variables for a copying CP solver, most importantly the closely related decisions of data structure, domain restriction operations, and propagation events. The resulting implementation outperforms traditional bounded-length string representations for CP solvers, which use a fixed-length array of candidate characters and a padding symbol.

Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10335
National Category
Computer Sciences
Identifiers
urn:nbn:se:uu:diva-334654 (URN)10.1007/978-3-319-59776-8_5 (DOI)000434086200005 ()978-3-319-59775-1 (ISBN)
Conference
CPAIOR 2017, June 5–8, Padua, Italy
Funder
Swedish Research Council, 2015-4910
Available from: 2017-05-31 Created: 2017-11-25 Last updated: 2018-11-12Bibliographically approved
Amadini, R., Flener, P., Pearson, J., Scott, J. D., Stuckey, P. J. & Tack, G. (2017). MiniZinc with strings. In: Logic-Based Program Synthesis and Transformation: . Paper presented at 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) 2016, September 6–8, Edinburgh, Scotland (pp. 59-75). Springer
Open this publication in new window or tab >>MiniZinc with strings
Show others...
2017 (English)In: Logic-Based Program Synthesis and Transformation, Springer, 2017, p. 59-75Conference paper, Published paper (Refereed)
Abstract [en]

Strings are extensively used in modern programming languages and constraints over strings of unknown length occur in a wide range of real-world applications such as software analysis and verification, testing, model checking, and web security. Nevertheless, practically no constraint programming solver natively supports string constraints. We introduce string variables and a suitable set of string constraints as builtin features of the MiniZinc modelling language. Furthermore, we define an interpreter for converting a MiniZinc model with strings into a FlatZinc instance relying only on integer variables. This conversion is obtained via rewrite rules, and does not require any extension of the existing FlatZinc specification. This provides a user-friendly interface for modelling combinatorial problems with strings, and enables both string and non-string solvers to actually solve such problems.

Place, publisher, year, edition, pages
Springer, 2017
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10184
National Category
Computer Sciences
Identifiers
urn:nbn:se:uu:diva-309538 (URN)10.1007/978-3-319-63139-4_4 (DOI)978-3-319-63138-7 (ISBN)978-3-319-63139-4 (ISBN)
Conference
26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) 2016, September 6–8, Edinburgh, Scotland
Funder
Swedish Research Council, 2015-04910Australian Research Council, LP140100437
Available from: 2017-07-25 Created: 2016-12-05 Last updated: 2018-11-19Bibliographically approved
Monette, J.-N., Beldiceanu, N., Flener, P. & Pearson, J. (2016). A parametric propagator for pairs of SUM constraints with a discrete convexity property. Artificial Intelligence, 241, 170-190
Open this publication in new window or tab >>A parametric propagator for pairs of SUM constraints with a discrete convexity property
2016 (English)In: Artificial Intelligence, ISSN 0004-3702, E-ISSN 1872-7921, Vol. 241, p. 170-190Article in journal (Refereed) Published
National Category
Computer Sciences
Identifiers
urn:nbn:se:uu:diva-309537 (URN)10.1016/j.artint.2016.08.006 (DOI)000387518000007 ()
Available from: 2016-09-14 Created: 2016-12-05 Last updated: 2018-01-13Bibliographically approved
Arafailova, E., Beldiceanu, N., Douence, R., Carlsson, M., Flener, P., Francisco Rodríguez, M. A., . . . Simonis, H. (2016). Global Constraint Catalog: Volume II, time-series constraints.
Open this publication in new window or tab >>Global Constraint Catalog: Volume II, time-series constraints
Show others...
2016 (English)Report (Other academic)
Series
Computing Research Repository ; 1609.08925
National Category
Computer Sciences
Identifiers
urn:nbn:se:uu:diva-309541 (URN)
Available from: 2016-09-26 Created: 2016-12-05 Last updated: 2018-01-13Bibliographically approved
Arafailova, E., Beldiceanu, N., Carlsson, M., Flener, P., Francisco Rodríguez, M. A., Pearson, J. & Simonis, H. (2016). Systematic derivation of bounds and glue constraints for time-series constraints. In: Principles and Practice of Constraint Programming: CP 2016. Paper presented at CP 2016, September 5–9, Toulouse, France (pp. 13-29). Springer
Open this publication in new window or tab >>Systematic derivation of bounds and glue constraints for time-series constraints
Show others...
2016 (English)In: Principles and Practice of Constraint Programming: CP 2016, Springer, 2016, p. 13-29Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Springer, 2016
Series
Lecture Notes in Computer Science ; 9892
National Category
Computer Sciences
Identifiers
urn:nbn:se:uu:diva-302048 (URN)10.1007/978-3-319-44953-1_2 (DOI)000389019700003 ()978-3-319-44952-4 (ISBN)
Conference
CP 2016, September 5–9, Toulouse, France
Funder
Swedish Research Council, 2011-6133Swedish Research Council, 2012-4908
Available from: 2016-08-23 Created: 2016-08-29 Last updated: 2018-01-10Bibliographically approved
Arafailova, E., Beldiceanu, N., Douence, R., Flener, P., Francisco Rodríguez, M. A., Pearson, J. & Simonis, H. (2016). Time-series constraints: Improvements and application in CP and MIP contexts. In: Integration of AI and OR Techniques in Constraint Programming: . Paper presented at CPAIOR 2016, May 29 – June 1, Banff, Canada (pp. 18-34). Springer
Open this publication in new window or tab >>Time-series constraints: Improvements and application in CP and MIP contexts
Show others...
2016 (English)In: Integration of AI and OR Techniques in Constraint Programming, Springer, 2016, p. 18-34Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Springer, 2016
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9676
National Category
Computer Sciences
Identifiers
urn:nbn:se:uu:diva-298447 (URN)10.1007/978-3-319-33954-2_2 (DOI)000378993700002 ()978-3-319-33953-5 (ISBN)
Conference
CPAIOR 2016, May 29 – June 1, Banff, Canada
Available from: 2016-05-12 Created: 2016-07-04 Last updated: 2018-01-10Bibliographically approved
Björdal, G., Monette, J.-N., Flener, P. & Pearson, J. (2015). A constraint-based local search backend for MiniZinc. Constraints, 20(3), 325-345
Open this publication in new window or tab >>A constraint-based local search backend for MiniZinc
2015 (English)In: Constraints, ISSN 1383-7133, E-ISSN 1572-9354, Vol. 20, no 3, p. 325-345Article in journal (Refereed) Published
National Category
Computer Sciences
Identifiers
urn:nbn:se:uu:diva-255035 (URN)10.1007/s10601-015-9184-z (DOI)000354216900004 ()
Available from: 2015-03-07 Created: 2015-06-12 Last updated: 2018-01-11Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0001-8730-4098

Search in DiVA

Show all publications