Pierre Flener - RankMe

106 papers A* 5A 17B 15C 11Misc 2Journal 35Unranked 13

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