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)

A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot - Johan Wessén; Mats Carlsson; Christian Schulte; Pierre Flener; Federico Pecora; Mihhail Matskin (Constraints An Int. J., 2023)

Solving Satisfaction Problems Using Large-Neighbourhood Search - Gustav Björdal; Pierre Flener; Justin Pearson; Peter J. Stuckey; Guido Tack (Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, 2020)

Exploring Declarative Local-Search Neighbourhoods with Constraint Programming - Gustav Björdal; Pierre Flener; Justin Pearson; Peter J. Stuckey (Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings, 2019)

Generating Compound Moves in Local Search by Hybridisation with Complete Search - Gustav Björdal; Pierre Flener; Justin Pearson (Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, 2019)

Declarative Local-Search Neighbourhoods in MiniZinc - Gustav Björdal; Pierre Flener; Justin Pearson; Peter J. Stuckey; Guido Tack (IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, 5-7 November 2018, Volos, Greece, 2018)

Auto-tabling for subproblem presolving in MiniZinc - Jip J. Dekker; Gustav Björdal; Mats Carlsson; Pierre Flener; Jean-Noël Monette (Constraints An Int. J., 2017)

Design and Implementation of Bounded-Length Sequence Variables - Joseph D. Scott; Pierre Flener; Justin Pearson; Christian Schulte (Integration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings, 2017)

Automatic Generation of Descriptions of Time-Series Constraints - María Andreína Francisco Rodríguez; Pierre Flener; Justin Pearson (29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2017, Boston, MA, USA, November 6-8, 2017, 2017)

Inductive Programming - Pierre Flener; Ute Schmid (Encyclopedia of Machine Learning and Data Mining, 2017)

Programming by Demonstration - Pierre Flener; Ute Schmid (Encyclopedia of Machine Learning and Data Mining, 2017)

Trace-Based Programming - Pierre Flener; Ute Schmid (Encyclopedia of Machine Learning and Data Mining, 2017)

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)

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 (Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, 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 (Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings, 2016)

MiniZinc with Strings - Roberto Amadini; Pierre Flener; Justin Pearson; Joseph D. Scott; Peter J. Stuckey; Guido Tack (Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers, 2016)

MiniZinc with Strings - Roberto Amadini; Pierre Flener; Justin Pearson; Joseph D. Scott; Peter J. Stuckey; Guido Tack (CoRR, 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)

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

Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation - Jean-Noël Monette; Pierre Flener; Justin Pearson (Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, 2015)

Constraint Solving on Bounded String Variables - Joseph D. Scott; Pierre Flener; Justin Pearson (Integration of AI and OR Techniques in Constraint Programming - 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings, 2015)

A Modelling Pearl with Sortedness Constraints - Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; Xavier Lorca; Justin Pearson; Thierry Petit; Charles Prud'homme (Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015, 2015)

Implied Constraints for Automaton Constraints - María Andreína Francisco Rodríguez; Pierre Flener; Justin Pearson (Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015, 2015)

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

Propagating Regular Counting Constraints - Nicolas Beldiceanu; Pierre Flener; Justin Pearson; Pascal Van Hentenryck (Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada, 2014)

A Propagator Design Framework for Constraints over Sequences - Jean-Noël Monette; Pierre Flener; Justin Pearson (Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada, 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 (Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings, 2014)

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

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)

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

Solving String Constraints: The Case for Constraint Programming - Jun He; Pierre Flener; Justin Pearson; Weiming Zhang (Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings, 2013)

A Parametric Propagator for Discretely Convex Pairs of Sum Constraints - Jean-Noël Monette; Nicolas Beldiceanu; Pierre Flener; Justin Pearson (Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings, 2013)

Bounded Strings for Constraint Programming - Joseph D. Scott; Pierre Flener; Justin Pearson (25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013, Herndon, VA, USA, November 4-6, 2013, 2013)

Generation of Implied Constraints for Automaton-Induced Decompositions - María Andreína Francisco Rodríguez; Pierre Flener; Justin Pearson (25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013, Herndon, VA, USA, November 4-6, 2013, 2013)

Optimising quality of information in data collection for mobile sensor networks - Farshid Hassani Bijarbooneh; Pierre Flener; Edith Cheuk-Han Ngai; Justin Pearson (21st IEEE/ACM International Symposium on Quality of Service, IWQoS 2013, Montreal, Canada, 3-4 June 2013, 2013)

Propagating Regular Counting Constraints - Nicolas Beldiceanu; Pierre Flener; Justin Pearson; Pascal Van Hentenryck (CoRR, 2013)

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

Constraint programming for air traffic management: preface - Pierre Flener; Justin Pearson; Marc Bourgois (Knowl. Eng. Rev., 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)

Towards Solver-Independent Propagators - Jean-Noël Monette; Pierre Flener; Justin Pearson (Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, 2012)

Solution neighbourhoods for constraint-directed local search - Jun He; Pierre Flener; Justin Pearson (Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, 2012)

Combinatorial problem solving over relational databases: view synthesis through constraint-based local search - Toni Mancini; Pierre Flener; Justin Pearson (Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, 2012)

An optimisation-based approach for wireless sensor deployment in mobile sensing environments - Farshid Hassani Bijarbooneh; Pierre Flener; Edith C. H. Ngai; Justin Pearson (2012 IEEE Wireless Communications and Networking Conference, WCNC 2012, Paris, France, April 1-4, 2012, 2012)

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

Contingency Plans for Air Traffic Management - Karl Sundequist Blomdahl; Pierre Flener; Justin Pearson (Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings, 2010)

On Matrices, Automata, and Double Counting - Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; Justin Pearson (Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings, 2010)

Inductive Programming - Pierre Flener; Ute Schmid (Encyclopedia of Machine Learning, 2010)

Programming by Demonstration - Pierre Flener; Ute Schmid (Encyclopedia of Machine Learning, 2010)

Trace-Based Programming - Pierre Flener; Ute Schmid (Encyclopedia of Machine Learning, 2010)

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 (Constraints An Int. J., 2009)

Constraint Programming in Sweden - Pierre Flener; Mats Carlsson; Christian Schulte (IEEE Intell. Syst., 2009)

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

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

Constrained Optimization Over Massive Databases - Toni Mancini; Pierre Flener; Amir Hossein Monshi; Justin Pearson (Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009, 2009)

Toward an automaton Constraint for Local Search - Jun He; Pierre Flener; Justin Pearson (Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009, 2009)

Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results - Farshid Hassani Bijarbooneh; Pierre Flener; Justin Pearson (Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009, 2009)

An introduction to inductive programming - Pierre Flener; Ute Schmid (Artif. Intell. Rev., 2008)

Combining Tree Partitioning, Precedence, and Incomparability Constraints - Nicolas Beldiceanu; Pierre Flener; Xavier Lorca (Constraints An Int. J., 2008)

Solving Necklace Constraint Problems - Pierre Flener; Justin Pearson (ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, 2008)

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

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

Inferring Variable Conflicts for Local Search - Magnus Ågren; Pierre Flener; Justin Pearson (Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, 2006)

Static and Dynamic Structural Symmetry Breaking - Pierre Flener; Justin Pearson; Meinolf Sellmann; Pascal Van Hentenryck (Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, 2006)

Realism in Project-Based Software Engineering Courses: Rewards, Risks, and Recommendations - Pierre Flener (Computer and Information Sciences - ISCIS 2006, 21th International Symposium, Istanbul, Turkey, November 1-3, 2006, Proceedings, 2006)

Incremental Algorithms for Local Search from Existential Second-Order Logic - Magnus Ågren; Pierre Flener; Justin Pearson (Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, 2005)

Set Variables and Local Search - Magnus Ågren; Pierre Flener; Justin Pearson (Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings, 2005)

The tree Constraint - Nicolas Beldiceanu; Pierre Flener; Xavier Lorca (Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings, 2005)

Compositional Derivation of Symmetries for Constraint Satisfaction - Pascal Van Hentenryck; Pierre Flener; Justin Pearson; Magnus Ågren (Abstraction, Reformulation and Approximation, 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings, 2005)

Financial Portfolio Optimisation - Pierre Flener; Justin Pearson; Luis G. Reyna (Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, 2004)

Synthesis of Programs in Computational Logic - David A. Basin; Yves Deville; Pierre Flener; Andreas Hamfelt; Jørgen Fischer Nilsson (Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004)

Guest Editorial: ASE 2000 Special Issue - Perry Alexander; Pierre Flener (Autom. Softw. Eng., 2003)

Introducing ESRA, a Relational Language for Modelling Combinatorial Problems - Pierre Flener; Justin Pearson; Magnus Ågren (Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, 2003)

Tractable Symmetry Breaking for CSPs with Interchangeable Values - Pascal Van Hentenryck; Pierre Flener; Justin Pearson; Magnus Ågren (IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, 2003)

Introducing esra, a Relational Language for Modelling Combinatorial Problems - Pierre Flener; Justin Pearson; Magnus Ågren (Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers, 2003)

Achievements and Prospects of Program Synthesis - Pierre Flener (Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, 2002)

Breaking Row and Column Symmetries in Matrix Models - Pierre Flener; Alan M. Frisch; Brahim Hnich; Zeynep Kiziltan; Ian Miguel; Justin Pearson; Toby Walsh (Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, 2002)

Inductive Programming - Pierre Flener; Derek Partridge (Autom. Softw. Eng., 2001)

High-Level Reformulation of Constraint Programs - Brahim Hnich; Pierre Flener (Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France, 2001)

Towards Inferring Labelling Heuristics for CSP Application Domains - Zeynep Kiziltan; Pierre Flener; Brahim Hnich (KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings, 2001)

Compiling High-Level Type Constructors in Constraint Programming - Pierre Flener; Brahim Hnich; Zeynep Kiziltan (Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings, 2001)

A Meta-heuristic for Subset Problems - Pierre Flener; Brahim Hnich; Zeynep Kiziltan (Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings, 2001)

Foreword to the Special Issue on Schemas - Pierre Flener; Kung-Kiu Lau; Wolfgang Bibel (J. Symb. Comput., 2000)

An Abstract Formalization of Correct Schemas for Program Synthesis - Pierre Flener; Kung-Kiu Lau; Mario Ornaghi; Julian Richardson (J. Symb. Comput., 2000)

A New Declarative Bias for ILP: Construction Modes - Esra Erdem; Pierre Flener (Inductive Logic Programming, 10th International Conference, ILP 2000, Work-in-progress reports, London, UK, July 2000, Proceedings, 2000)

Completing open logic programs by constructive induction - Esra Erdem; Pierre Flener (Int. J. Intell. Syst., 1999)

Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects - Pierre Flener; Serap Yilmaz (J. Log. Program., 1999)

Specifications are necessarily informal or: Some more myths of formal methods - Baudouin Le Charlier; Pierre Flener (J. Syst. Softw., 1998)

Schema-Guided Synthesis of Constraint Logic Programs - Pierre Flener; Hamza Zidoum; Brahim Hnich (The Thirteenth IEEE Conference on Automated Software Engineering, ASE 1998, Honolulu, Hawaii, USA, October 13-16, 1998, 1998)

Schema-Guided Synthesis of CLP Programs - Hamza Zidoum; Pierre Flener; Brahim Hnich (Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, 1998)

Correct-Schema-Guided Synthesis of Steadfast Programs - Pierre Flener; Kung-Kiu Lau; Mario Ornaghi (1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, 1997)

Generalised Logic Program Transformation Schemas - Halime Büyükyildiz; Pierre Flener (Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings, 1997)

On Correct Program Schemas - Pierre Flener; Kung-Kiu Lau; Mario Ornaghi (Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings, 1997)

On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract) - Baudouin Le Charlier; Pierre Flener (Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings, 1997)

Inductive Logic Program Synthesis with DIALOGS - Pierre Flener (Inductive Logic Programming, 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers, 1996)

Logic program synthesis from incomplete information - Pierre Flener (Kluwer, 1995)

Logic Program Transformation through Generalization Schemata - Pierre Flener; Yves Deville (Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings, 1995)

On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects - Pierre Flener; Lubos Popelínský (Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, 1994)

Logic Program Synthesis from Incomplete Specifications - Pierre Flener; Yves Deville (J. Symb. Comput., 1993)

SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications - Pierre Flener; Yves Deville (Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143, 1992)

Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs - Pierre Flener; Yves Deville (Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP, 1991)

Towards Stepwise, Schema-guided Synthesis of Logic Programms - Pierre Flener; Yves Deville (Logic Program Synthesis and Transformation, Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991, 1991)

Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings - Pierre Flener (Springer, 1990)