| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 2005 | CPAIOR | The tree Constraint. | Nicolas Beldiceanu, Pierre Flener, Xavier Lorca |
| 2004 | CP | Financial Portfolio Optimisation. | Pierre Flener, Justin Pearson, Luis G. Reyna |
| 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 |
| 2001 | KI | Towards Inferring Labelling Heuristics for CSP Application Domains. | Zeynep Kiziltan, Pierre Flener, Brahim Hnich |
| 2001 | PADL | Compiling High-Level Type Constructors in Constraint Programming. | Pierre Flener, Brahim Hnich, Zeynep Kiziltan |
| 2001 | PADL | A Meta-heuristic for Subset Problems. | Pierre Flener, Brahim Hnich, Zeynep Kiziltan |
| 2000 | ILP | A New Declarative Bias for ILP: Construction Modes. | Esra Erdem, Pierre Flener |
| 1998 | LOPSTR | Schema-Guided Synthesis of CLP Programs. | Hamza Zidoum, Pierre Flener, Brahim Hnich |
| 1997 | LOPSTR | Generalised Logic Program Transformation Schemas. | Halime Bykyildiz, Pierre Flener |
| 1997 | LOPSTR | On Correct Program Schemas. | Pierre Flener, Kung-Kiu Lau, Mario Ornaghi |
| 1997 | SAS | On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract). | Baudouin Le Charlier, Pierre Flener |
| 1996 | ILP | Inductive Logic Program Synthesis with DIALOGS. | Pierre Flener |
| 1995 | LOPSTR | Logic Program Transformation through Generalization Schemata. | Pierre Flener, Yves Deville |
| 1994 | LOPSTR | On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects. | Pierre Flener, Lubos Popelnsk |
| 1991 | ICLP | Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. | Pierre Flener, Yves Deville |
| 1991 | LOPSTR | Towards Stepwise, Schema-guided Synthesis of Logic Programms. | Pierre Flener, Yves Deville |