Justin Pearson

Journals

  • Maximizing value yield in wood industry through flexible sawing and product grading based on wane and log shape

    Kamran Forghani, Mats Carlsson, Pierre Flener, Magnus Fredriksson, Justin Pearson and Di Yuan
    Computers and Electronics in Agriculture, . 2024
    DOI PDF

  • When bounds consistency implies domain consistency for regular counting constraints

    Barnaby Martin and Justin Pearson
    Constraints, . 2022
    DOI PDF

  • A constraint-based local search backend for MiniZinc

    Gustav Björdal, Jean-Noël Monette, Pierre Flener and Justin Pearson
    Constraints, . 2015
    DOI PDF

  • Toward sustainable development in constraint programming

    Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson and Helmut Simonis
    Constraints, . 2014
    DOI PDF

  • Underestimating the cost of a soft constraint is dangerous: {R}evisiting the edit-distance based {SoftRegular} constraint

    Jun He, Pierre Flener and Justin Pearson
    Journal of Heuristics, . 2013
    DOI PDF

  • On matrices, automata, and double counting in constraint programming

    Nicolas Beldiceanu, Mats Carlsson, Pierre Flener and Justin Pearson
    Constraints, . 2013
    DOI PDF

  • On the reification of global constraints

    Nicolas Beldiceanu, Mats Carlsson, Pierre Flener and Justin Pearson
    Constraints, . 2013
    DOI PDF

  • Constraint programming for air traffic management: A survey

    Cyril Allignol, Nicolas Barnier, Pierre Flener and Justin Pearson
    The Knowledge Engineering Review, . 2012
    DOI PDF

  • Contingency plans for air traffic flow and capacity management using constraint programming

    Karl Sundequist Blomdahl, Pierre Flener and Justin Pearson
    Journal of Aerospace Operations, . 2012
    DOI PDF

  • An automaton constraint for local search

    Jun He, Pierre Flener and Justin Pearson
    Fundamenta Informaticae, . 2011
    DOI PDF

  • Dynamic structural symmetry breaking for constraint satisfaction problems

    Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck and Magnus Ågren
    Constraints, . 2009
    DOI PDF

  • Static and dynamic structural symmetry breaking

    Pierre Flener, Justin Pearson and Meinolf Sellmann
    Annals of Mathematics and Artificial Intelligence, . 2009
    DOI PDF

  • Revisiting constraint-directed search

    Magnus Ågren, Pierre Flener and Justin Pearson
    Information and Computation, . 2009
    DOI PDF

  • Solving necklace constraint problems

    Pierre Flener and Justin Pearson
    Journal of Algorithms, . 2009
    DOI PDF

  • A bound on the overlap of same-sized sets

    Olof Sivertsson, Pierre Flener and Justin Pearson
    Annals of Combinatorics, . 2008
    DOI PDF

  • Air-traffic complexity resolution in multi-sector planning

    Pierre Flener, Justin Pearson, Magnus Ågren, Carlos Garcia Avello, Mete Celiktin and Sören Dissing
    Journal of Air Transport Management, . 2007
    DOI PDF

  • Generic incremental algorithms for local search

    Magnus Ågren, Pierre Flener and Justin Pearson
    Constraints, . 2007
    DOI PDF

  • Design of financial CDO squared transactions using constraint programming

    Pierre Flener, Justin Pearson, Luis Reyna and Olof Sivertsson
    Constraints, . 2007
    DOI PDF

  • Clock difference diagrams

    Kim Larsen, Carsten Weise, Wang Yi and Justin Pearson
    Nordic Journal of Computing, . 1999
    PDF

  • Constraints and universal algebra

    Peter Jeavons, David Cohen and Justin Pearson
    Annals of Mathematics and Artificial Intelligence, . 1998
    DOI PDF

  • Combining communicating sequential processes and temporal logic

    Justin Pearson and Jeremy Bryans
    The Journal of the Estonian Academy of Science and Engineering, . 1998

Conferences

  • Solving satisfaction problems using large-neighbourhood search

    Gustav Björdal, Pierre Flener, Justin Pearson, Peter Stuckey and Guido Tack
    CP 2020, . 2020
    DOI PDF

  • Exploring declarative local-search neighbourhoods with constraint programming

    Gustav Björdal, Pierre Flener, Justin Pearson and Peter Stuckey
    CP 2019, . 2019
    DOI PDF

  • Generating compound moves in local search by hybridisation with complete search

    Gustav Björdal, Pierre Flener and Justin Pearson
    CP-AI-OR 2019, . 2019
    DOI PDF

  • Declarative local-search neighbourhoods in MiniZinc

    Gustav Björdal, Pierre Flener, Justin Pearson, Peter Stuckey and Guido Tack
    ICTAI 2018, . 2018
    DOI PDF

  • Exploring properties of a telecommunication protocol with message delay using interactive theorem prover

    Mats Carlsson, Catherine Dubois, Olga Grinchtein and Justin Pearson
    SEFM 2018, the 16th International Conference on Software Engineering and Formal Methods, . 2018
    DOI PDF

  • Automatic generation of descriptions of time-series constraints

    Maria Francisco Rodriguez, Pierre Flener and Justin Pearson
    ICTAI 2017, . 2017
    DOI PDF

  • Design and implementation of bounded-length sequence variables

    Joseph Scott, Pierre Flener, Justin Pearson and Christian Schulte
    CP-AI-OR 2017, . 2017
    DOI PDF

  • MiniZinc with strings

    Roberto Amadini, Pierre Flener, Justin Pearson, Joseph Scott, Peter Stuckey and Guido Tack
    LOPSTR 2016: Revised Selected Papers, . 2017
    DOI PDF

  • Systematic derivation of bounds and glue constraints for time-series constraints

    Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Maria Francisco Rodriguez, Justin Pearson and Helmut Simonis
    CP 2016, . 2016
    DOI PDF

  • Time-series constraints: Improvements and application in CP and MIP contexts

    Ekaterina Arafailova, Nicolas Beldiceanu, Remi Douence, Pierre Flener, Maria Francisco Rodriguez, Justin Pearson and Helmut Simonis
    CP-AI-OR 2016, . 2016
    DOI PDF

  • A constraint optimisation model for analysis of telecommunication protocol logs

    Olga Grinchtein, Mats Carlsson and Justin Pearson
    TAP 2015, . 2015
    DOI PDF

  • A modelling pearl with sortedness constraints

    Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit and Charles Prud'Homme
    GCAI 2015: Global Conference on Artificial Intelligence, . 2015
    DOI PDF

  • Automated auxiliary variable elimination through on-the-fly propagator generation

    Jean-Noël Monette, Pierre Flener and Justin Pearson
    CP 2015, . 2015
    DOI PDF

  • Constraint solving with bounded string variables

    Joseph Scott, Pierre Flener and Justin Pearson
    CP-AI-OR 2015, . 2015
    DOI PDF

  • Implied constraints for {Automaton} constraints

    Maria Francisco Rodriguez, Pierre Flener and Justin Pearson
    GCAI 2015: Global Conference on Artificial Intelligence, . 2015
    DOI PDF

  • A Constraint Programming Approach for Managing End-to-end Requirements in Sensor Network Macroprogramming.

    Farshid Bijarbooneh, Animesh Pathak, Justin Pearson, Valerie Issarny and Bengt Jonsson
    Proceedings of the 3rd International Conference on Sensor Networks - SENSORNETS,, . 2014
    DOI

  • A propagator design framework for constraints over sequences

    Jean-Noël Monette, Pierre Flener and Justin Pearson
    AAAI 2014, . 2014
    PDF

  • Linking prefixes and suffixes for constraints encoded using automata with accumulators

    Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Maria Francisco Rodriguez and Justin Pearson
    CP 2014, . 2014
    DOI PDF

  • Model-based protocol log generation for testing a telecommunication test harness using {CLP}

    Kenneth Balck, Olga Grinchtein and Justin Pearson
    DATE 2014: Design, Automation and Test in Europe, . 2014
    DOI PDF

  • Propagating regular counting constraints

    Nicolas Beldiceanu, Pierre Flener, Justin Pearson and Pascal Van Hentenryck
    AAAI 2014, . 2014
    PDF

  • A parametric propagator for discretely convex pairs of sum constraints

    Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener and Justin Pearson
    CP 2013, . 2013
    DOI PDF

  • Airspace sectorisation using constraint-based local search

    Peter Jägare, Pierre Flener and Justin Pearson
    ATM 2013, the 10th USA / Europe Seminar on Air Traffic Management R\&D, Chicago, Illinois, USA, . 2013
    PDF

  • Bounded strings for constraint programming

    Joseph Scott, Pierre Flener and Justin Pearson
    ICTAI 2013, . 2013
    DOI PDF

  • Generation of implied constraints for automaton-induced decompositions

    Maria Francisco Rodriguez, Pierre Flener and Justin Pearson
    ICTAI 2013, . 2013
    DOI PDF

  • Optimising quality of information in data collection for mobile sensor networks

    Farshid Hassani Bijarbooneh, Pierre Flener, Edith Ngai and Justin Pearson
    IWQoS 2013, the 21st IEEE/ACM International Symposium on Quality of Service, . 2013
    DOI PDF

  • Solving string constraints: The case for constraint programming

    Jun He, Pierre Flener, Justin Pearson and Wei Zhang
    CP 2013, . 2013
    DOI PDF

  • An optimisation-based approach for wireless sensor deployment in mobile sensing environments

    Farshid Hassani Bijarbooneh, Pierre Flener, Edith Ngai and Justin Pearson
    WCNC 2012, the 10th IEEE Wireless Communications and Networking Conference, . 2012
    DOI PDF

  • Combinatorial problem solving over relational databases: View synthesis through constraint-based local search

    Toni Mancini, Pierre Flener and Justin Pearson
    SAC/CSP 2012, the track on Constraint Solving and Programming of the 27th ACM Symposium on Applied Computing, . 2012
    DOI PDF

  • Solution neighbourhoods for constraint-directed local search

    Jun He, Pierre Flener and Justin Pearson
    SAC/CSP 2012, the track on Constraint Solving and Programming of the 27th ACM Symposium on Applied Computing, . 2012
    DOI PDF

  • Towards solver-independent propagators

    Jean-Noël Monette, Pierre Flener and Justin Pearson
    CP 2012, . 2012
    DOI PDF

  • Energy-efficient task-mapping for data-driven sensor network macroprogramming using constraint programming

    Farshid Hassani Bijarbooneh, Pierre Flener, Edith Ngai and Justin Pearson
    ICS 2011, the 12th INFORMS Computing Society Conference, . 2011
    DOI PDF

  • Contingency plans for air traffic flow and capacity management

    Karl Sundequist Blomdahl, Pierre Flener and Justin Pearson
    INO 2010, the 9th EUROCONTROL Innovative Research Workshop \& Exhibition, . 2010
    PDF

  • Contingency plans for air traffic management

    Karl Sundequist Blomdahl, Pierre Flener and Justin Pearson
    CP 2010, . 2010
    DOI PDF

  • On matrices, automata, and double counting

    Nicolas Beldiceanu, Mats Carlsson, Pierre Flener and Justin Pearson
    CP-AI-OR 2010, . 2010
    DOI PDF

  • Solving necklace constraint problems

    Pierre Flener and Justin Pearson
    ECAI 2008, . 2008
    DOI PDF

  • Air-traffic complexity resolution in multi-sector planning using constraint programming

    Pierre Flener, Justin Pearson, Magnus Ågren, Carlos Garcia Avello, Mete Celiktin and Sören Dissing
    ATM 2007, the 7th USA / Europe R\&D Seminar on Air Traffic Management, Barcelona, Spain, . 2007
    PDF

  • Groupoids and conditional symmetry

    Ian Gent, Tom Kelsey, Steve Linton, Justin Pearson and Colva Roney-Dougal
    CP 2007, . 2007
    DOI PDF

  • Structural symmetry breaking for constraint satisfaction problems

    Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck and Magnus Ågren
    International Symmetry Conference, Edinburgh, UK, . 2007
    PDF

  • Inferring variable conflicts for local search

    Magnus Ågren, Pierre Flener and Justin Pearson
    CP 2006, . 2006
    DOI PDF

  • Static and dynamic structural symmetry breaking

    Pierre Flener, Justin Pearson, Meinolf Sellmann and Pascal Van Hentenryck
    CP 2006, . 2006
    DOI PDF

  • Compositional derivation of symmetries for constraint satisfaction

    Pascal Van Hentenryck, Pierre Flener, Justin Pearson and Magnus Ågren
    SARA 2005, . 2005
    DOI

  • Incremental algorithms for local search from existential second-order logic

    Magnus Ågren, Pierre Flener and Justin Pearson
    CP 2005, . 2005
    DOI PDF

  • Set variables and local search

    Magnus Ågren, Pierre Flener and Justin Pearson
    CP-AI-OR 2005, . 2005
    DOI PDF

  • Comma-free codes

    Justin Pearson
    AI&M 2004, . 2004
    PDF

  • Financial portfolio optimisation

    Pierre Flener, Justin Pearson and Luis Reyna
    CP 2004, . 2004
    DOI PDF

  • Introducing ESRA, a relational language for modelling combinatorial problems

    Pierre Flener, Justin Pearson and Magnus Ågren
    LOPSTR 2003: Revised Selected Papers, . 2004
    DOI PDF

  • Tractable symmetry breaking for {CSP}s with interchangeable values

    Pascal Van Hentenryck, Pierre Flener, Justin Pearson and Magnus Ågren
    IJCAI 2003, . 2003
    PDF

  • Breaking row and column symmetries in matrix models

    Pierre Flener, Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson and Toby Walsh
    CP 2002, . 2002
    DOI

  • Closure functions and width 1 problems

    Victor Dalmau and Justin Pearson
    CP 1999, . 1999
    DOI PDF

  • Efficient timed reachability analysis using clock difference diagrams

    G. Behrmann, K.G. Larsen, Justin Pearson, C. Weise and Wang Yi
    CAV, . 1999
    PDF

  • Neural networks in the Clifford domain

    Justin Pearson and D.L. Bisset
    Neural Networks, 1994. IEEE World Congress on Computational Intelligence, . 1994
    DOI PDF

  • Back propagation in a Clifford algebra

    Justin Pearson and David Bisset
    Proceedings of the International Conference of Artificial Neural Networks (ICANN), . 1992
    PDF

Books and chapters

  • Clifford Networks

    Justin Pearson
    In Complex-Valued Neural Networks, World Scientrific. 2003
    DOI PDF

Workshops

  • Protocol log analysis with constraint programming

    Mats Carlsson, Olga Grinchtein and Justin Pearson
    2014
    PDF

  • Consistency of constraint networks induced by automaton-based constraint specifications

    Maria Francisco Rodriguez, Pierre Flener and Justin Pearson
    2011
    PDF

  • Energy-efficient task-mapping for data-driven sensor network macroprogramming using constraint programming

    Farshid Hassani Bijarbooneh, Pierre Flener, Edith Ngai and Justin Pearson
    2010
    PDF

  • Dynamic demand-capacity balancing for air traffic management using constraint-based local search: {F}irst Results

    Farshid Hassani Bijarbooneh, Pierre Flener and Justin Pearson
    2009
    DOI PDF

  • Toward an automaton constraint for local search

    Jun He, Pierre Flener and Justin Pearson
    2009
    DOI PDF

  • Introducing ESRA, a Relational Language for Modelling Combinatorial Problems

    Pierre Flener, Justin Pearson and Magnus Ågren
    2003
    PDF

  • Breaking all the symmetries in matrix models: Results, conjectures, and directions

    Pierre Flener and Justin Pearson
    2002
    PDF

Techreports

  • Propagators and violation functions for geometric and workload constraints arising in airspace sectorisation

    Pierre Flener and Justin Pearson
    2014

  • Automatic airspace sectorisation: A survey

    Pierre Flener and Justin Pearson
    2013

  • Propagating regular counting constraints

    Nicolas Beldiceanu, Pierre Flener, Justin Pearson and Pascal Van Hentenryck
    2013
    PDF

  • On the reification of global constraints

    Nicolas Beldiceanu, Mats Carlsson, Pierre Flener and Justin Pearson
    2012

  • On constraint-oriented neighbours for local search

    Magnus Ågren, Pierre Flener and Justin Pearson
    2007
    PDF

  • Inferring variable conflicts for local search

    Magnus Ågren, Pierre Flener and Justin Pearson
    2006
    PDF

  • The Syntax, Semantics, and Type System of ESRA

    Pierre Flener, Justin Pearson and Magnus Ågren
    2003

  • A survey of tractable constraint satisfaction problems

    Justin Pearson and Peter Jeavons
    1997
    PDF

Theses

  • Clifford Networks

    Justin Pearson
    Doctoral Thesis, , . 1995
    PDF

Unpublished

  • A complete classification of Constraint Languages generated by binary entropic minimal clones

    Justin Pearson
    2006
    PDF Abstract

  • Reducing The Number of Constraints in Symmetry Breaking During Search

    Justin Pearson
    2003
    PDF

  • Computation with Clifford Valued Feed-Forward Networks

    Justin Pearson
    1996
    PDF Abstract

  • Requirements Traceability and Formal Software Development or a Further Analysis of Requirements Traceability

    Justin Pearson
    1996
    PDF Abstract