Research

My doctoral research was carred 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

  • Doctoral Thesis 
    Other Things Besides Number: Abstraction, Constraint Propagation, and String Variable Types
    Uppsala Dissertations from the Faculty of Science and Technology  120.
    Uppsala: 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]