| 2026 | CP | Automatic Relaxation and Multi-Armed Bandit Learning for Large Neighbourhood Search. | Frej Knutar Lewander, Pierre Flener, Justin Pearson, Peter J. Stuckey |
| 2025 | CP | Dependency-Curated Large Neighbourhood Search. | Frej Knutar Lewander, Pierre Flener, Justin Pearson |
| 2024 | ICTAI | Parameterised Treewidth for Constraint Modelling Languages. | Justin Pearson |
| 2020 | CP | Solving Satisfaction Problems Using Large-Neighbourhood Search. | Gustav Bjrdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack |
| 2019 | CP | Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. | Gustav Bjrdal, Pierre Flener, Justin Pearson, Peter J. Stuckey |
| 2019 | CPAIOR | Generating Compound Moves in Local Search by Hybridisation with Complete Search. | Gustav Bjrdal, Pierre Flener, Justin Pearson |
| 2018 | ICTAI | Declarative Local-Search Neighbourhoods in MiniZinc. | Gustav Bjrdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack |
| 2018 | SEFM | Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. | Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson |
| 2017 | CPAIOR | Design and Implementation of Bounded-Length Sequence Variables. | Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte |
| 2017 | ICTAI | Automatic Generation of Descriptions of Time-Series Constraints. | Mara Andrena Francisco Rodrguez, Pierre Flener, Justin Pearson |
| 2017 | QRS | Modelling and Verification of User Interactions Using Constraint Programming. | Mats Carlsson, Olga Grinchtein, Justin Pearson |
| 2016 | CP | Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. | Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Mara Andrena Francisco Rodrguez, Justin Pearson, Helmut Simonis |
| 2016 | CPAIOR | Time-Series Constraints: Improvements and Application in CP and MIP Contexts. | Ekaterina Arafailova, Nicolas Beldiceanu, Rmi Douence, Pierre Flener, Mara Andrena Francisco Rodrguez, Justin Pearson, Helmut Simonis |
| 2016 | LOPSTR | MiniZinc with Strings. | Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack |
| 2015 | CP | Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation. | Jean-Nol Monette, Pierre Flener, Justin Pearson |
| 2015 | CPAIOR | Constraint Solving on Bounded String Variables. | Joseph D. Scott, Pierre Flener, Justin Pearson |
| 2015 | ICST | Testing of a telecommunication protocol using constraint programming. | Olga Grinchtein, Mats Carlsson, Justin Pearson |
| 2015 | TAP | A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. | Olga Grinchtein, Mats Carlsson, Justin Pearson |
| 2014 | AAAI | Propagating Regular Counting Constraints. | Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck |
| 2014 | AAAI | A Propagator Design Framework for Constraints over Sequences. | Jean-Nol Monette, Pierre Flener, Justin Pearson |
| 2014 | CP | Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. | Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Mara Andrena Francisco Rodrguez, Justin Pearson |
| 2014 | DATE | Model-based protocol log generation for testing a telecommunication test harness using CLP. | Kenneth Balck, Olga Grinchtein, Justin Pearson |
| 2013 | CP | Solving String Constraints: The Case for Constraint Programming. | Jun He, Pierre Flener, Justin Pearson, Weiming Zhang |
| 2013 | CP | A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. | Jean-Nol Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson |
| 2013 | ICTAI | Generation of Implied Constraints for Automaton-Induced Decompositions. | Mara Andrena Francisco Rodrguez, Pierre Flener, Justin Pearson |
| 2013 | ICTAI | Bounded Strings for Constraint Programming. | Joseph D. Scott, Pierre Flener, Justin Pearson |
| 2013 | IWQoS | Optimising quality of information in data collection for mobile sensor networks. | Farshid Hassani Bijarbooneh, Pierre Flener, Edith Cheuk-Han Ngai, Justin Pearson |
| 2012 | CP | Towards Solver-Independent Propagators. | Jean-Nol Monette, Pierre Flener, Justin Pearson |
| 2012 | WCNC | An optimisation-based approach for wireless sensor deployment in mobile sensing environments. | Farshid Hassani Bijarbooneh, Pierre Flener, Edith C. H. Ngai, Justin Pearson |
| 2012 | SAC | Solution neighbourhoods for constraint-directed local search. | Jun He, Pierre Flener, Justin Pearson |
| 2012 | SAC | Combinatorial problem solving over relational databases: view synthesis through constraint-based local search. | Toni Mancini, Pierre Flener, Justin Pearson |
| 2010 | CP | Contingency Plans for Air Traffic Management. | Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson |
| 2010 | CPAIOR | On Matrices, Automata, and Double Counting. | Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson |
| 2008 | ECAI | Solving Necklace Constraint Problems. | Pierre Flener, Justin Pearson |
| 2006 | CP | Inferring Variable Conflicts for Local Search. | Magnus gren, Pierre Flener, Justin Pearson |
| 2006 | CP | Static and Dynamic Structural Symmetry Breaking. | Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck |
| 2005 | CP | Incremental Algorithms for Local Search from Existential Second-Order Logic. | Magnus gren, Pierre Flener, Justin Pearson |
| 2005 | CPAIOR | Set Variables and Local Search. | Magnus gren, Pierre Flener, Justin Pearson |
| 2004 | CP | Financial Portfolio Optimisation. | Pierre Flener, Justin Pearson, Luis G. Reyna |
| 2004 | ISAIM | Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes. | Justin Pearson |
| 2003 | CP | Introducing ESRA, a Relational Language for Modelling Combinatorial Problems. | Pierre Flener, Justin Pearson, Magnus gren |
| 2003 | IJCAI | Tractable Symmetry Breaking for CSPs with Interchangeable Values. | Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus gren |
| 2003 | LOPSTR | Introducing esra, a Relational Language for Modelling Combinatorial Problems. | Pierre Flener, Justin Pearson, Magnus gren |
| 2002 | CP | Breaking Row and Column Symmetries in Matrix Models. | Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh |
| 1999 | CAV | Efficient Timed Reachability Analysis Using Clock Difference Diagrams. | Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi |
| 1999 | CP | Closure Functions and Width 1 Problems. | Vctor Dalmau, Justin Pearson |