Research

My doctoral research was carried out at the Department of Computing Science, Uppsala University, where I was a member of the ASTRA Group on Constraint Programming.

Abstract Propagation

My theoretical research focused on the use of Galois connections for specifying propagation strength (i.e., consistency and completeness) in constraint programming, with particular focus on mixed consistencies, combinations of variable types, and structured variable types.

String Constraints

My practical research was into the use of constraint programming for solving constraints on strings, such as those often found in software verification and validation problems. This was a joint project with the Algorithmic Program Verification Group.

Cumulative Resource Scheduling

I have also worked in constraint-based scheduling, particularly regarding filtering algorithms for cumulative resources. Previous work in this area includes my Master's project, carried out at SICS in Uppsala, which won the 2011 SAIS Award for Best AI Master's Thesis.

Publications

  • MiniZinc with Strings
    R. Amadini and P. Flener and J. Pearson and J. D. Scott and P. J. Stuckey and G. Tack
    In: Manuel Hermenegildo and Pedro López-García (Ed.), Logic Based Program Synthesis and Transformation (LOPSTR 2016), Revised Selected Papers of the 26th International Symposium. LNCS. Springer. 2017.
    [BibTeX]
    inproceedings{amadini2017minizinc
    title = {{MiniZinc} with Strings},
    author = {R. Amadini and P. Flener and J. Pearson and J. D. Scott and P. J. Stuckey and G. Tack},
    booktitle = {Logic Based Program Synthesis and Transformation (LOPSTR 2016)},
    editor = {Manuel Hermenegildo and Pedro López-García},
    series = {LNCS},
    publisher = {Springer},
    note = {Pre-Proceedings version at Computing Research Repository, \url{https://arxiv.org/abs/1608.03650}},
    year = {2017}
    }
    [Previous version]
  • Design and Implementation of Bounded-Length Sequence Variables
    J. D. Scott and P. Flener and J. Pearson and C. Schulte
    In: Domenico Salvagnin and Michele Lombardi (Ed.), Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2017), Proceedings of the 14th International Conference. LNCS. Springer. 2017.
    [BibTeX]
    inproceedings{scott2017design
    title = {Design and Implementation of Bounded-Length Sequence Variables},
    author = {J. D. Scott and P. Flener and J. Pearson and C. Schulte},
    booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2017)},
    editor = {Domenico Salvagnin and Michele Lombardi},
    series = {LNCS},
    publisher = {Springer},
    year = {2017}
    }
  • Doctoral Thesis 
    Other Things Besides Number: Abstraction, Constraint Propagation, and String Variable Types
    Uppsala Dissertations from the Faculty of Science and Technology  120.
    Uppsala, Sweden: Acta Universitatis Upsaliensis, 2016.
    Supervisors: Pierre Flener, Justin Pearson, Parosh Abdulla.
    [BibTeX]
    phdthesis{scott2016phd
    title = {Other Things Besides Number: Abstraction, Constraint Propagation, and String Variable Types},
    author = {J. D. Scott},
    url = {http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-273311},
    institution = {Uppsala University},
    year = {2016}
    }
    [PDF][Erratum]
  • Constraint Solving on Bounded String Variables
    J. D. Scott and P. Flener and J. Pearson
    In: Laurent Michel (Ed.), Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2015), Proceedings of the 12th International Conference. LNCS #9075. pp. 375-392. Springer. 2015.
    [BibTeX]
    inproceedings{scott2015constraint
    title = {Constraint Solving on Bounded String Variables},
    author = {J. D. Scott and P. Flener and J. Pearson},
    doi = {10.1007/978-3-319-18008-3_26},
    booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2015)},
    editor = {Laurent Michel},
    series = {LNCS},
    publisher = {Springer},
    year = {2015}
    }
    [PDF]
  • A Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints
    R. Kameugne and L. P. Fotso and J. Scott and Y. Ngo-Kateu
    Constraints (19): 3 pp. 243–269. 2014.
    [BibTeX]
    article{kameugne2013qef
    title = {A Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints},
    author = {R. Kameugne and L. P. Fotso and J. Scott and Y. Ngo-Kateu},
    doi = {10.1007/s10601-013-9157-z},
    journal = {Constraints},
    number = {3},
    volume = {19},
    pages = {243--269},
    publisher = {Springer US},
    year = {2014}
    }
    [PDF][Preprint]
  • Rapid Prototyping of a Structured Domain through Indexical Compilation
    J. D. Scott
    In: COSpeL: The 1st Workshop on Domain Specific Languages in Combinatorial Optimization, Satellite workshop of CP 2013. 2013.
    [BibTeX]
    inproceedings{scott2013rapid
    title = {Rapid Prototyping of a Structured Domain through Indexical Compilation},
    author = {J. D. Scott},
    booktitle = {COSpeL: The 1st Workshop on Domain Specific Languages in Combinatorial Optimization},
    year = {2013}
    }
  • Bounded Strings for Constraint Programming
    J. D. Scott and P. Flener and J. Pearson
    In: Tools with Artificial Intelligence (ICTAI 2013), IEEE 25th International Conference. pp. 1036–1043. IEEE Computer Society. 2013.
    [BibTeX]
    inproceedings{scott2013bounded
    title = {Bounded Strings for Constraint Programming},
    author = {J. D. Scott and P. Flener and J. Pearson},
    doi = {10.1109/ICTAI.2013.155},
    booktitle = {Tools with Artificial Intelligence (ICTAI 2013)},
    publisher = {IEEE Computer Society},
    year = {2013}
    }
    [PDF]
  • A Quadratic Extended Edge-Finding Filtering Algorithm for Cumulative Resource Constraints
    R. Kameugne and L. P. Fotso and J. Scott
    International Journal of Planning and Scheduling (1): 4 pp. 264–284. 2013.
    [BibTeX]
    article{kameugne2013qeef
    title = {A Quadratic Extended Edge-Finding Filtering Algorithm for Cumulative Resource Constraints},
    author = {R. Kameugne and L. P. Fotso and J. Scott},
    doi = {10.1504/IJPS.2013.059678},
    journal = {International Journal of Planning and Scheduling},
    number = {4},
    volume = {1},
    pages = {264--284},
    year = {2013}
    }
    [PDF]
  • A Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints
    R. Kameugne and L. P. Fotso and J. Scott and Y. Ngo-Kateu
    In: Jimmy Ho-Man Lee (Ed.), Principles and Practice of Constraint Programming (CP 2011), Proceedings of the 17th International Conference. LNCS #6876. pp. 478–492. Springer. 2011.
    [BibTeX]
    inproceedings{kameugne2011quadratic
    title = {A Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints},
    author = {R. Kameugne and L. P. Fotso and J. Scott and Y. Ngo-Kateu},
    doi = {10.1007/978-3-642-23786-7_37},
    booktitle = {Principles and Practice of Constraint Programming (CP 2011)},
    editor = {Jimmy Ho-Man Lee},
    series = {LNCS},
    publisher = {Springer},
    year = {2011}
    }
    [PDF][Preprint][Additional Resources]
  • M.Sc. Thesis 
    Filtering Algorithms for Discrete Cumulative Resources
    J. Scott
    Uppsala University, Department of Information Technology,  #IT 10 048.  2010.
    Supervisor: Mats Carlsson.
    [BibTeX]
    mastersthesis{scott2010filtering
    title = {Filtering Algorithms for Discrete Cumulative Resources},
    author = {J. Scott},
    url = {http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-132172},
    number = {IT 10 048},
    institution = {Uppsala University, Department of Information Technology},
    year = {2010}
    }
    [PDF]