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

Direct link
BETA
Alternative names
Publications (10 of 103) Show all publications
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). Springer
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, Springer, 2017, p. 51-67Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Springer, 2017
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)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-01-13Bibliographically 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 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)
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)
Conference
LOPSTR 2016, September 6–8, Edinburgh, Scotland
Funder
Swedish Research Council, 2015-04910
Available from: 2017-07-25 Created: 2016-12-05 Last updated: 2018-01-13Bibliographically 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
Beldiceanu, N., Carlsson, M., Flener, P., Lorca, X., Pearson, J., Petit, T. & Prud'homme, C. (2015). A modelling pearl with sortedness constraints. In: Global Conference on Artificial Intelligence: GCAI 2015. Paper presented at GCAI 2015, October 16–18, Tbilisi, Georgia (pp. 27-41). Manchester, UK: Cool Press
Open this publication in new window or tab >>A modelling pearl with sortedness constraints
Show others...
2015 (English)In: Global Conference on Artificial Intelligence: GCAI 2015, Manchester, UK: Cool Press , 2015, p. 27-41Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Manchester, UK: Cool Press, 2015
Series
EasyChair Proceedings in Computing, ISSN 2040-557X ; 36
National Category
Computer Sciences
Identifiers
urn:nbn:se:uu:diva-268650 (URN)
Conference
GCAI 2015, October 16–18, Tbilisi, Georgia
Funder
Swedish Research Council, 2011-6133Swedish Research Council, 2012-4908
Available from: 2015-12-18 Created: 2015-12-09 Last updated: 2018-01-10Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0001-8730-4098

Search in DiVA

Show all publications