Pierre Flener

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 15

Top Topics

Constraint Programming

Top Venues

Constraints An Int. J.

Publications

Kamran Forghani, Mats Carlsson, Pierre Flener, Magnus Fredriksson, Justin Pearson, Di Yuan
Maximizing value yield in wood industry through flexible sawing and product grading based on wane and log shape. Comput. Electron. Agric. 216 (2024)
Johan Wessén, Mats Carlsson, Christian Schulte, Pierre Flener, Federico Pecora, Mihhail Matskin
A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot. Constraints An Int. J. 28 (2) (2023)
Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack
Solving Satisfaction Problems Using Large-Neighbourhood Search. CP (2020)
Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey
Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. CP (2019)
Gustav Björdal, Pierre Flener, Justin Pearson
Generating Compound Moves in Local Search by Hybridisation with Complete Search. CPAIOR (2019)
Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack
Declarative Local-Search Neighbourhoods in MiniZinc. ICTAI (2018)
Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte
Design and Implementation of Bounded-Length Sequence Variables. CPAIOR (2017)
María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson
Automatic Generation of Descriptions of Time-Series Constraints. ICTAI (2017)
Jip J. Dekker, Gustav Björdal, Mats Carlsson, Pierre Flener, Jean-Noël Monette
Auto-tabling for subproblem presolving in MiniZinc. Constraints An Int. J. 22 (4) (2017)
Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
MiniZinc with Strings. LOPSTR (2016)
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Time-Series Constraints: Improvements and Application in CP and MIP Contexts. CPAIOR (2016)
Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
MiniZinc with Strings. CoRR (2016)
Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. CP (2016)
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Global Constraint Catalog, Volume II, Time-Series Constraints. CoRR (2016)
Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson
A parametric propagator for pairs of Sum constraints with a discrete convexity property. Artif. Intell. 241 (2016)
Joseph D. Scott, Pierre Flener, Justin Pearson
Constraint Solving on Bounded String Variables. CPAIOR (2015)
Gustav Björdal, Jean-Noël Monette, Pierre Flener, Justin Pearson
A constraint-based local search backend for MiniZinc. Constraints An Int. J. 20 (3) (2015)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme
A Modelling Pearl with Sortedness Constraints. GCAI (2015)
Jean-Noël Monette, Pierre Flener, Justin Pearson
Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation. CP (2015)
María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson
Implied Constraints for Automaton Constraints. GCAI (2015)
Pierre Flener, Justin Pearson
Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation. CoRR (2014)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson
Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. CP (2014)
Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis
Toward sustainable development in constraint programming. Constraints An Int. J. 19 (2) (2014)
Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck
Propagating Regular Counting Constraints. AAAI (2014)
Jean-Noël Monette, Pierre Flener, Justin Pearson
A Propagator Design Framework for Constraints over Sequences. AAAI (2014)
Jun He, Pierre Flener, Justin Pearson, Wei Ming Zhang
Solving String Constraints: The Case for Constraint Programming. CP (2013)
Farshid Hassani Bijarbooneh, Pierre Flener, Edith Cheuk-Han Ngai, Justin Pearson
Optimising quality of information in data collection for mobile sensor networks. IWQoS (2013)
María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson
Generation of Implied Constraints for Automaton-Induced Decompositions. ICTAI (2013)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
On matrices, automata, and double counting in constraint programming. Constraints An Int. J. 18 (1) (2013)
Joseph D. Scott, Pierre Flener, Justin Pearson
Bounded Strings for Constraint Programming. ICTAI (2013)
Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck
Propagating Regular Counting Constraints. CoRR (2013)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
On the reification of global constraints. Constraints An Int. J. 18 (1) (2013)
Jun He, Pierre Flener, Justin Pearson
Underestimating the cost of a soft constraint is dangerous: revisiting the edit-distance based soft regular constraint. J. Heuristics 19 (5) (2013)
Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson
A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. CP (2013)
Pierre Flener, Justin Pearson
Automatic Airspace Sectorisation: A Survey. CoRR (2013)
Farshid Hassani Bijarbooneh, Pierre Flener, Edith C. H. Ngai, Justin Pearson
An optimisation-based approach for wireless sensor deployment in mobile sensing environments. WCNC (2012)
Toni Mancini, Pierre Flener, Justin Pearson
Combinatorial problem solving over relational databases: view synthesis through constraint-based local search. SAC (2012)
Cyril Allignol, Nicolas Barnier, Pierre Flener, Justin Pearson
Constraint programming for air traffic management: a survey - In memory of Pascal Brisset. Knowl. Eng. Rev. 27 (3) (2012)
Pierre Flener, Justin Pearson, Marc Bourgois
Constraint programming for air traffic management: preface. Knowl. Eng. Rev. 27 (3) (2012)
Jean-Noël Monette, Pierre Flener, Justin Pearson
Towards Solver-Independent Propagators. CP (2012)
Jun He, Pierre Flener, Justin Pearson
Solution neighbourhoods for constraint-directed local search. SAC (2012)
Jun He, Pierre Flener, Justin Pearson
An automaton Constraint for Local Search. Fundam. Informaticae 107 (2-3) (2011)
Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson
Contingency Plans for Air Traffic Management. CP (2010)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
On Matrices, Automata, and Double Counting. CPAIOR (2010)
Pierre Flener, Justin Pearson
Solving necklace constraint problems. J. Algorithms 64 (2-3) (2009)
Pierre Flener, Mats Carlsson, Christian Schulte
Constraint Programming in Sweden. IEEE Intell. Syst. 24 (2) (2009)
Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren
Dynamic structural symmetry breaking for constraint satisfaction problems. Constraints An Int. J. 14 (4) (2009)
Pierre Flener, Justin Pearson, Meinolf Sellmann
Static and dynamic structural symmetry breaking. Ann. Math. Artif. Intell. 57 (1) (2009)
Jun He, Pierre Flener, Justin Pearson
Toward an automaton Constraint for Local Search LSCS (2009)
Farshid Hassani Bijarbooneh, Pierre Flener, Justin Pearson
Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results LSCS (2009)
Magnus Ågren, Pierre Flener, Justin Pearson
Revisiting constraint-directed search. Inf. Comput. 207 (3) (2009)
Toni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson
Constrained Optimization Over Massive Databases. RCRA@AI*IA (2009)
Pierre Flener, Justin Pearson
Solving Necklace Constraint Problems. ECAI (2008)
Nicolas Beldiceanu, Pierre Flener, Xavier Lorca
Combining Tree Partitioning, Precedence, and Incomparability Constraints. Constraints An Int. J. 13 (4) (2008)
Pierre Flener, Ute Schmid
An introduction to inductive programming. Artif. Intell. Rev. 29 (1) (2008)
Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson
Design of Financial CDO Squared Transactions Using Constraint Programming. Constraints An Int. J. 12 (2) (2007)
Magnus Ågren, Pierre Flener, Justin Pearson
Generic Incremental Algorithms for Local Search. Constraints An Int. J. 12 (3) (2007)
Magnus Ågren, Pierre Flener, Justin Pearson
Inferring Variable Conflicts for Local Search. CP (2006)
Pierre Flener
Realism in Project-Based Software Engineering Courses: Rewards, Risks, and Recommendations. ISCIS (2006)
Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck
Static and Dynamic Structural Symmetry Breaking. CP (2006)
Magnus Ågren, Pierre Flener, Justin Pearson
Set Variables and Local Search. CPAIOR (2005)
Magnus Ågren, Pierre Flener, Justin Pearson
Incremental Algorithms for Local Search from Existential Second-Order Logic. CP (2005)
Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
Compositional Derivation of Symmetries for Constraint Satisfaction. SARA (2005)
Nicolas Beldiceanu, Pierre Flener, Xavier Lorca
The tree Constraint. CPAIOR (2005)
Pierre Flener, Justin Pearson, Luis G. Reyna
Financial Portfolio Optimisation. CP (2004)
Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
Tractable Symmetry Breaking for CSPs with Interchangeable Values. IJCAI (2003)
Perry Alexander, Pierre Flener
Guest Editorial: ASE 2000 Special Issue. Autom. Softw. Eng. 10 (2) (2003)
Pierre Flener, Justin Pearson, Magnus Ågren
Introducing esra, a Relational Language for Modelling Combinatorial Problems. LOPSTR (2003)
Pierre Flener, Justin Pearson, Magnus Ågren
Introducing ESRA, a Relational Language for Modelling Combinatorial Problems. CP (2003)
Pierre Flener
Achievements and Prospects of Program Synthesis. Computational Logic: Logic Programming and Beyond (2002)
Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh
Breaking Row and Column Symmetries in Matrix Models. CP (2002)
Pierre Flener, Brahim Hnich, Zeynep Kiziltan
A Meta-heuristic for Subset Problems. PADL (2001)
Pierre Flener, Brahim Hnich, Zeynep Kiziltan
Compiling High-Level Type Constructors in Constraint Programming. PADL (2001)
Brahim Hnich, Pierre Flener
High-Level Reformulation of Constraint Programs. JFPLC (2001)
Pierre Flener, Derek Partridge
Inductive Programming. Autom. Softw. Eng. 8 (2) (2001)
Zeynep Kiziltan, Pierre Flener, Brahim Hnich
Towards Inferring Labelling Heuristics for CSP Application Domains. KI/ÖGAI (2001)
Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel
Foreword to the Special Issue on Schemas. J. Symb. Comput. 30 (1) (2000)
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson
An Abstract Formalization of Correct Schemas for Program Synthesis. J. Symb. Comput. 30 (1) (2000)
Esra Erdem, Pierre Flener
A New Declarative Bias for ILP: Construction Modes. ILP Work-in-progress reports (2000)
Esra Erdem, Pierre Flener
Completing open logic programs by constructive induction. Int. J. Intell. Syst. 14 (10) (1999)
Pierre Flener, Serap Yilmaz
Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects. J. Log. Program. 41 (2-3) (1999)
Baudouin Le Charlier, Pierre Flener
Specifications are necessarily informal or: Some more myths of formal methods. J. Syst. Softw. 40 (3) (1998)
Hamza Zidoum, Pierre Flener, Brahim Hnich
Schema-Guided Synthesis of CLP Programs. LOPSTR (1998)
Pierre Flener, Hamza Zidoum, Brahim Hnich
Schema-Guided Synthesis of Constraint Logic Programs. ASE (1998)
Halime Büyükyildiz, Pierre Flener
Generalised Logic Program Transformation Schemas. LOPSTR (1997)
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
On Correct Program Schemas. LOPSTR (1997)
Baudouin Le Charlier, Pierre Flener
On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract). SAS (1997)
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
Correct-Schema-Guided Synthesis of Steadfast Programs. ASE (1997)
Pierre Flener
Inductive Logic Program Synthesis with DIALOGS. Inductive Logic Programming Workshop (1996)
Pierre Flener, Yves Deville
Logic Program Transformation through Generalization Schemata. LOPSTR (1995)
Pierre Flener, Lubos Popelínský
On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects. LOPSTR (1994)
Pierre Flener, Yves Deville
Logic Program Synthesis from Incomplete Specifications. J. Symb. Comput. 15 (5/6) (1993)
Pierre Flener, Yves Deville
SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. LPE (1992)
Pierre Flener, Yves Deville
Towards Stepwise, Schema-guided Synthesis of Logic Programms. LOPSTR (1991)
Pierre Flener, Yves Deville
Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. ICLP Workshop on Construction of Logic Programs (1991)