Constraints and Universal Algebra. - Peter Jeavons 001; David A. Cohen; Justin Pearson (Ann. Math. Artif. Intell., 1998)

Efficient Timed Reachability Analysis Using Clock Difference Diagrams. - Gerd Behrmann; Kim Guldstrand Larsen; Justin Pearson; Carsten Weise; Wang Yi 001 (CAV, 1999)

Closure Functions and Width 1 Problems. - Víctor Dalmau; Justin Pearson (CP, 1999)

Clock Difference Diagrams. - Kim Guldstrand Larsen; Justin Pearson; Carsten Weise; Wang Yi 001 (Nord. J. Comput., 1999)

Breaking Row and Column Symmetries in Matrix Models. - Pierre Flener; Alan M. Frisch; Brahim Hnich; Zeynep Kiziltan; Ian Miguel; Justin Pearson; Toby Walsh (CP, 2002)

Tractable Symmetry Breaking for CSPs with Interchangeable Values. - Pascal Van Hentenryck; Pierre Flener; Justin Pearson; Magnus Ågren 002 (IJCAI, 2003)

Introducing esra, a Relational Language for Modelling Combinatorial Problems. - Pierre Flener; Justin Pearson; Magnus Ågren 002 (LOPSTR, 2003)

Financial Portfolio Optimisation. - Pierre Flener; Justin Pearson; Luis G. Reyna (CP, 2004)

Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes. - Justin Pearson (AI&M, 2004)

Incremental Algorithms for Local Search from Existential Second-Order Logic. - Magnus Ågren 002; Pierre Flener; Justin Pearson (CP, 2005)

Set Variables and Local Search. - Magnus Ågren 002; Pierre Flener; Justin Pearson (CPAIOR, 2005)

Compositional Derivation of Symmetries for Constraint Satisfaction. - Pascal Van Hentenryck; Pierre Flener; Justin Pearson; Magnus Ågren 002 (SARA, 2005)

Inferring Variable Conflicts for Local Search. - Magnus Ågren 002; Pierre Flener; Justin Pearson (CP, 2006)

Static and Dynamic Structural Symmetry Breaking. - Pierre Flener; Justin Pearson; Meinolf Sellmann; Pascal Van Hentenryck (CP, 2006)

Generic Incremental Algorithms for Local Search. - Magnus Ågren 002; Pierre Flener; Justin Pearson (Constraints An Int. J., 2007)

Design of Financial CDO Squared Transactions Using Constraint Programming. - Pierre Flener; Justin Pearson; Luis G. Reyna; Olof Sivertsson (Constraints An Int. J., 2007)

Constrained Optimization Over Massive Databases. - Toni Mancini; Pierre Flener; Amir Hossein Monshi; Justin Pearson (RCRA@AI*IA, 2009)

Static and dynamic structural symmetry breaking. - Pierre Flener; Justin Pearson; Meinolf Sellmann (Ann. Math. Artif. Intell., 2009)

Dynamic structural symmetry breaking for constraint satisfaction problems. - Pierre Flener; Justin Pearson; Meinolf Sellmann; Pascal Van Hentenryck; Magnus Ågren 002 (Constraints An Int. J., 2009)

Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results - Farshid Hassani Bijarbooneh; Pierre Flener; Justin Pearson (LSCS, 2009)

Toward an automaton Constraint for Local Search - Jun He 001; Pierre Flener; Justin Pearson (LSCS, 2009)

Revisiting constraint-directed search. - Magnus Ågren 002; Pierre Flener; Justin Pearson (Inf. Comput., 2009)

Solving necklace constraint problems. - Pierre Flener; Justin Pearson (J. Algorithms, 2009)

Contingency Plans for Air Traffic Management. - Karl Sundequist Blomdahl; Pierre Flener; Justin Pearson (CP, 2010)

On Matrices, Automata, and Double Counting. - Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; Justin Pearson (CPAIOR, 2010)

An automaton Constraint for Local Search. - Jun He 001; Pierre Flener; Justin Pearson (Fundam. Informaticae, 2011)

Towards Solver-Independent Propagators. - Jean-Noël Monette; Pierre Flener; Justin Pearson (CP, 2012)

Solution neighbourhoods for constraint-directed local search. - Jun He 001; Pierre Flener; Justin Pearson (SAC, 2012)

Combinatorial problem solving over relational databases: view synthesis through constraint-based local search. - Toni Mancini; Pierre Flener; Justin Pearson (SAC, 2012)

An optimisation-based approach for wireless sensor deployment in mobile sensing environments. - Farshid Hassani Bijarbooneh; Pierre Flener; Edith C. H. Ngai; Justin Pearson (WCNC, 2012)

Constraint programming for air traffic management: a survey - In memory of Pascal Brisset. - Cyril Allignol; Nicolas Barnier; Pierre Flener; Justin Pearson (Knowl. Eng. Rev., 2012)

Constraint programming for air traffic management: preface. - Pierre Flener; Justin Pearson; Marc Bourgois (Knowl. Eng. Rev., 2012)

Solving String Constraints: The Case for Constraint Programming. - Jun He 001; Pierre Flener; Justin Pearson; Weiming Zhang 003 (CP, 2013)

A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. - Jean-Noël Monette; Nicolas Beldiceanu; Pierre Flener; Justin Pearson (CP, 2013)

Generation of Implied Constraints for Automaton-Induced Decompositions. - María Andreína Francisco Rodríguez; Pierre Flener; Justin Pearson (ICTAI, 2013)

Bounded Strings for Constraint Programming. - Joseph D. Scott; Pierre Flener; Justin Pearson (ICTAI, 2013)

Optimising quality of information in data collection for mobile sensor networks. - Farshid Hassani Bijarbooneh; Pierre Flener; Edith Cheuk-Han Ngai; Justin Pearson (IWQoS, 2013)

On the reification of global constraints. - Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; Justin Pearson (Constraints An Int. J., 2013)

On matrices, automata, and double counting in constraint programming. - Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; Justin Pearson (Constraints An Int. J., 2013)

Automatic Airspace Sectorisation: A Survey. - Pierre Flener; Justin Pearson (CoRR, 2013)

Underestimating the cost of a soft constraint is dangerous: revisiting the edit-distance based soft regular constraint. - Jun He 001; Pierre Flener; Justin Pearson (J. Heuristics, 2013)

Propagating Regular Counting Constraints. - Nicolas Beldiceanu; Pierre Flener; Justin Pearson; Pascal Van Hentenryck (AAAI, 2014)

A Propagator Design Framework for Constraints over Sequences. - Jean-Noël Monette; Pierre Flener; Justin Pearson (AAAI, 2014)

Control with minimum communication cost per symbol. - Justin Pearson; João Pedro Hespanha; Daniel Liberzon (CDC, 2014)

Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. - Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; María Andreína Francisco Rodríguez; Justin Pearson (CP, 2014)

Model-based protocol log generation for testing a telecommunication test harness using CLP. - Kenneth Balck; Olga Grinchtein; Justin Pearson (DATE, 2014)

A Constraint Programming Approach for Managing End-to-end Requirements in Sensor Network Macroprogramming. - Farshid Hassani Bijarbooneh; Animesh Pathak; Justin Pearson; Valérie Issarny; Bengt Jonsson 001 (SENSORNETS, 2014)

Protocol Log Analysis with Constraint Programming. - Mats Carlsson; Olga Grinchtein; Justin Pearson (SMT, 2014)

Toward sustainable development in constraint programming. - Nicolas Beldiceanu; Pierre Flener; Jean-Noël Monette; Justin Pearson; Helmut Simonis (Constraints An Int. J., 2014)

Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation. - Pierre Flener; Justin Pearson (CoRR, 2014)

Quasi-optimality of event-based encoders. - Justin Pearson; João Pedro Hespanha; Daniel Liberzon (CDC, 2015)

Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation. - Jean-Noël Monette; Pierre Flener; Justin Pearson (CP, 2015)

Constraint Solving on Bounded String Variables. - Joseph D. Scott; Pierre Flener; Justin Pearson (CPAIOR, 2015)

A Modelling Pearl with Sortedness Constraints. - Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; Xavier Lorca; Justin Pearson; Thierry Petit; Charles Prud'homme (GCAI, 2015)

Implied Constraints for Automaton Constraints. - María Andreína Francisco Rodríguez; Pierre Flener; Justin Pearson (GCAI, 2015)

Testing of a telecommunication protocol using constraint programming. - Olga Grinchtein; Mats Carlsson; Justin Pearson (ICST Workshops, 2015)

A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. - Olga Grinchtein; Mats Carlsson; Justin Pearson (TAP@STAF, 2015)

A constraint-based local search backend for MiniZinc. - Gustav Björdal; Jean-Noël Monette; Pierre Flener; Justin Pearson (Constraints An Int. J., 2015)

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; María Andreína Francisco Rodríguez; Justin Pearson; Helmut Simonis (CP, 2016)

Time-Series Constraints: Improvements and Application in CP and MIP Contexts. - Ekaterina Arafailova; Nicolas Beldiceanu; Rémi Douence; Pierre Flener; María Andreína Francisco Rodríguez; Justin Pearson; Helmut Simonis (CPAIOR, 2016)

MiniZinc with Strings. - Roberto Amadini; Pierre Flener; Justin Pearson; Joseph D. Scott; Peter J. Stuckey; Guido Tack (LOPSTR, 2016)

A parametric propagator for pairs of Sum constraints with a discrete convexity property. - Jean-Noël Monette; Nicolas Beldiceanu; Pierre Flener; Justin Pearson (Artif. Intell., 2016)

Global Constraint Catalog, Volume II, Time-Series Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Rémi Douence; Mats Carlsson; Pierre Flener; María Andreína Francisco Rodríguez; Justin Pearson; Helmut Simonis (CoRR, 2016)

Design and Implementation of Bounded-Length Sequence Variables. - Joseph D. Scott; Pierre Flener; Justin Pearson; Christian Schulte 001 (CPAIOR, 2017)

Automatic Generation of Descriptions of Time-Series Constraints. - María Andreína Francisco Rodríguez; Pierre Flener; Justin Pearson (ICTAI, 2017)

Modelling and Verification of User Interactions Using Constraint Programming. - Mats Carlsson; Olga Grinchtein; Justin Pearson (QRS Companion, 2017)

Control With Minimal Cost-Per-Symbol Encoding and Quasi-Optimality of Event-Based Encoders. - Justin Pearson; João Pedro Hespanha; Daniel Liberzon (IEEE Trans. Autom. Control., 2017)

Declarative Local-Search Neighbourhoods in MiniZinc. - Gustav Björdal; Pierre Flener; Justin Pearson; Peter J. Stuckey; Guido Tack (ICTAI, 2018)

Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. - Catherine Dubois; Olga Grinchtein; Justin Pearson; Mats Carlsson (SEFM, 2018)

Control under energy and time constraints - Justin Pearson (2018)

Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. - Gustav Björdal; Pierre Flener; Justin Pearson; Peter J. Stuckey (CP, 2019)

Generating Compound Moves in Local Search by Hybridisation with Complete Search. - Gustav Björdal; Pierre Flener; Justin Pearson (CPAIOR, 2019)

Solving Satisfaction Problems Using Large-Neighbourhood Search. - Gustav Björdal; Pierre Flener; Justin Pearson; Peter J. Stuckey; Guido Tack (CP, 2020)

When bounds consistency implies domain consistency for regular counting constraints. - Barnaby Martin; Justin Pearson (Constraints An Int. J., 2022)

Parameterised Treewidth for Constraint Modelling Languages. - Justin Pearson (ICTAI, 2024)

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; Di Yuan (Comput. Electron. Agric., 2024)

Dependency-Curated Large Neighbourhood Search. - Frej Knutar Lewander; Pierre Flener; Justin Pearson (CP, 2025)

Invariant Graph Propagation in Constraint-Based Local Search. - Frej Knutar Lewander; Pierre Flener; Justin Pearson (J. Artif. Intell. Res., 2025)