Pierre Flener

According to our database, Pierre Flener authored at least 99 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., January, 2024

2023

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

2020

Solving Satisfaction Problems Using Large-Neighbourhood Search.

Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Generating Compound Moves in Local Search by Hybridisation with Complete Search.

Gustav Björdal, Pierre Flener, Justin Pearson

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Exploring Declarative Local-Search Neighbourhoods with Constraint Programming.

Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

Declarative Local-Search Neighbourhoods in MiniZinc.

Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

2017

Trace-Based Programming.

Pierre Flener, Ute Schmid

Proceedings of the Encyclopedia of Machine Learning and Data Mining, 2017

Programming by Demonstration.

Pierre Flener, Ute Schmid

Proceedings of the Encyclopedia of Machine Learning and Data Mining, 2017

Inductive Programming.

Pierre Flener, Ute Schmid

Proceedings of the Encyclopedia of Machine Learning and Data Mining, 2017

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

Automatic Generation of Descriptions of Time-Series Constraints.

María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Design and Implementation of Bounded-Length Sequence Variables.

Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

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 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

MiniZinc with Strings.

Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack

Proceedings of the Logic-Based Program Synthesis and Transformation, 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

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 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

Proceedings of the Principles and Practice of Constraint Programming, 2016

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

Implied Constraints for Automaton Constraints.

María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson

Proceedings of the Global Conference on Artificial Intelligence, 2015

A Modelling Pearl with Sortedness Constraints.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme

Proceedings of the Global Conference on Artificial Intelligence, 2015

Constraint Solving on Bounded String Variables.

Joseph D. Scott, Pierre Flener, Justin Pearson

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation.

Jean-Noël Monette, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation.

Pierre Flener, Justin Pearson

CoRR, 2014

Toward sustainable development in constraint programming.

Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis

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

Proceedings of the Principles and Practice of Constraint Programming, 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, 2014

Propagating Regular Counting Constraints.

Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

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

Automatic Airspace Sectorisation: A Survey.

Pierre Flener, Justin Pearson

CoRR, 2013

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

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson

Constraints An Int. J., 2013

On the reification of global constraints.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson

Constraints An Int. J., 2013

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

Farshid Hassani Bijarbooneh, Pierre Flener, Edith Cheuk-Han Ngai, Justin Pearson

Proceedings of the 21st IEEE/ACM International Symposium on Quality of Service, 2013

Bounded Strings for Constraint Programming.

Joseph D. Scott, Pierre Flener, Justin Pearson

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Generation of Implied Constraints for Automaton-Induced Decompositions.

María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

A Parametric Propagator for Discretely Convex Pairs of Sum Constraints.

Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2013

Solving String Constraints: The Case for Constraint Programming.

Jun He, Pierre Flener, Justin Pearson, Weiming Zhang

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

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

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

Farshid Hassani Bijarbooneh, Pierre Flener, Edith C. H. Ngai, Justin Pearson

Proceedings of the 2012 IEEE Wireless Communications and Networking Conference, 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, 2012

Solution neighbourhoods for constraint-directed local search.

Jun He, Pierre Flener, Justin Pearson

Proceedings of the ACM Symposium on Applied Computing, 2012

Towards Solver-Independent Propagators.

Jean-Noël Monette, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

An automaton Constraint for Local Search.

Jun He, Pierre Flener, Justin Pearson

Fundam. Informaticae, 2011

2010

Trace-Based Programming.

Pierre Flener, Ute Schmid

Proceedings of the Encyclopedia of Machine Learning, 2010

Programming by Demonstration.

Pierre Flener, Ute Schmid

Proceedings of the Encyclopedia of Machine Learning, 2010

Inductive Programming.

Pierre Flener, Ute Schmid

Proceedings of the Encyclopedia of Machine Learning, 2010

On Matrices, Automata, and Double Counting.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Contingency Plans for Air Traffic Management.

Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Solving necklace constraint problems.

Pierre Flener, Justin Pearson

J. Algorithms, 2009

Revisiting constraint-directed search.

Magnus Ågren, Pierre Flener, Justin Pearson

Inf. Comput., 2009

Constraint Programming in Sweden.

Pierre Flener, Mats Carlsson, Christian Schulte

IEEE Intell. Syst., 2009

Toward an automaton Constraint for Local Search

Jun He, Pierre Flener, Justin Pearson

Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009

Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results

Farshid Hassani Bijarbooneh, Pierre Flener, Justin Pearson

Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 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

Static and dynamic structural symmetry breaking.

Pierre Flener, Justin Pearson, Meinolf Sellmann

Ann. Math. Artif. Intell., 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, 2009

2008

Combining Tree Partitioning, Precedence, and Incomparability Constraints.

Nicolas Beldiceanu, Pierre Flener, Xavier Lorca

Constraints An Int. J., 2008

An introduction to inductive programming.

Pierre Flener, Ute Schmid

Artif. Intell. Rev., 2008

2007

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

2006

Realism in Project-Based Software Engineering Courses: Rewards, Risks, and Recommendations.

Pierre Flener

Proceedings of the Computer and Information Sciences, 2006

Static and Dynamic Structural Symmetry Breaking.

Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2006

Inferring Variable Conflicts for Local Search.

Magnus Ågren, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Compositional Derivation of Symmetries for Constraint Satisfaction.

Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren

Proceedings of the Abstraction, 2005

The tree Constraint.

Nicolas Beldiceanu, Pierre Flener, Xavier Lorca

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Set Variables and Local Search.

Magnus Ågren, Pierre Flener, Justin Pearson

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Incremental Algorithms for Local Search from Existential Second-Order Logic.

Magnus Ågren, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Synthesis of Programs in Computational Logic.

David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Financial Portfolio Optimisation.

Pierre Flener, Justin Pearson, Luis G. Reyna

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Guest Editorial: ASE 2000 Special Issue.

Perry Alexander, Pierre Flener

Autom. Softw. Eng., 2003

Tractable Symmetry Breaking for CSPs with Interchangeable Values.

Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren

Proceedings of the IJCAI-03, 2003

Introducing ESRA, a Relational Language for Modelling Combinatorial Problems.

Pierre Flener, Justin Pearson, Magnus Ågren

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Breaking Row and Column Symmetries in Matrix Models.

Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh

Proceedings of the Principles and Practice of Constraint Programming, 2002

Achievements and Prospects of Program Synthesis.

Pierre Flener

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Inductive Programming.

Pierre Flener, Derek Partridge

Autom. Softw. Eng., 2001

A Meta-heuristic for Subset Problems.

Pierre Flener, Brahim Hnich, Zeynep Kiziltan

Proceedings of the Practical Aspects of Declarative Languages, 2001

Compiling High-Level Type Constructors in Constraint Programming.

Pierre Flener, Brahim Hnich, Zeynep Kiziltan

Proceedings of the Practical Aspects of Declarative Languages, 2001

Towards Inferring Labelling Heuristics for CSP Application Domains.

Zeynep Kiziltan, Pierre Flener, Brahim Hnich

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

High-Level Reformulation of Constraint Programs.

Brahim Hnich, Pierre Flener

Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

2000

An Abstract Formalization of Correct Schemas for Program Synthesis.

Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson

J. Symb. Comput., 2000

Foreword to the Special Issue on Schemas.

Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel

J. Symb. Comput., 2000

A New Declarative Bias for ILP: Construction Modes.

Esra Erdem, Pierre Flener

Proceedings of the Inductive Logic Programming, 10th International Conference, 2000

1999

Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects.

Pierre Flener, Serap Yilmaz

J. Log. Program., 1999

Completing open logic programs by constructive induction.

Esra Erdem, Pierre Flener

Int. J. Intell. Syst., 1999

1998

Specifications are necessarily informal or: Some more myths of formal methods.

Baudouin Le Charlier, Pierre Flener

J. Syst. Softw., 1998

Schema-Guided Synthesis of CLP Programs.

Hamza Zidoum, Pierre Flener, Brahim Hnich

Proceedings of the Logic Programming Synthesis and Transformation, 1998

Schema-Guided Synthesis of Constraint Logic Programs.

Pierre Flener, Hamza Zidoum, Brahim Hnich

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract).

Baudouin Le Charlier, Pierre Flener

Proceedings of the Static Analysis, 4th International Symposium, 1997

On Correct Program Schemas.

Pierre Flener, Kung-Kiu Lau, Mario Ornaghi

Proceedings of the Logic Programming Synthesis and Transformation, 1997

Generalised Logic Program Transformation Schemas.

Halime Büyükyildiz, Pierre Flener

Proceedings of the Logic Programming Synthesis and Transformation, 1997

Correct-Schema-Guided Synthesis of Steadfast Programs.

Pierre Flener, Kung-Kiu Lau, Mario Ornaghi

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1996

Inductive Logic Program Synthesis with DIALOGS.

Pierre Flener

Proceedings of the Inductive Logic Programming, 6th International Workshop, 1996

1995

Logic Program Transformation through Generalization Schemata.

Pierre Flener, Yves Deville

Proceedings of the Logic Programming Synthesis and Transformation, 1995

Logic program synthesis from incomplete information.

Pierre Flener

The Kluwer international series in engineering and computer science 295, Kluwer, ISBN: 978-0-7923-9532-4, 1995

1994

On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects.

Pierre Flener, Lubos Popelínský

Proceedings of the Logic Programming Synthesis and Transformation, 1994

1993

Logic Program Synthesis from Incomplete Specifications.

Pierre Flener, Yves Deville

J. Symb. Comput., 1993

1992

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), 1992

1991

Towards Stepwise, Schema-guided Synthesis of Logic Programms.

Pierre Flener, Yves Deville

Proceedings of the Logic Program Synthesis and Transformation, 1991

Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs.

Pierre Flener, Yves Deville

Proceedings of the Constructing Logic Programs, 1991