Pierre Flener

Maximizing Value Yield in Wood Industry through Flexible Sawing and Product Grading Based on Wane and Log Shape

Forghani, Kamran; Carlsson, Mats; Flener, Pierre; Fredriksson, Magnus et al.

Part of Computers and Electronics in Agriculture, 2024

• DOI for Maximizing Value Yield in Wood Industry through Flexible Sawing and Product Grading Based on Wane and Log Shape

A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot

Wessén, Johan; Carlsson, Mats; Schulte, Christian; Flener, Pierre et al.

Part of Constraints, p. 71-104, 2023

• DOI for A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot
• Download full text (pdf) of A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot

Solving Satisfaction Problems using Large-Neighbourhood Search

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

Part of Principles and Practice of Constraint Programming, p. 55-71, 2020

• DOI for Solving Satisfaction Problems using Large-Neighbourhood Search

Generating compound moves in local search by hybridisation with complete search

Björdal, Gustav; Flener, Pierre; Pearson, Justin

Part of Integration of Constraint Programming, Artificial Intelligence, and Operations Research, p. 95-111, 2019

• DOI for Generating compound moves in local search by hybridisation with complete search

Exploring declarative local-search neighbourhoods with constraint programming

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

Part of Principles and Practice of Constraint Programming, p. 37-53, 2019

• DOI for Exploring declarative local-search neighbourhoods with constraint programming

Maximizing Value Yield in Wood Industry through Flexible Sawing and Product Grading Based on Wane and Log Shape

Forghani, Kamran; Carlsson, Mats; Flener, Pierre; Fredriksson, Magnus et al.

Part of Computers and Electronics in Agriculture, 2024

• DOI for Maximizing Value Yield in Wood Industry through Flexible Sawing and Product Grading Based on Wane and Log Shape

A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot

Wessén, Johan; Carlsson, Mats; Schulte, Christian; Flener, Pierre et al.

Part of Constraints, p. 71-104, 2023

• DOI for A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot
• Download full text (pdf) of A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot

Auto-tabling for subproblem presolving in MiniZinc

Dekker, Jip J.; Björdal, Gustav; Carlsson, Mats; Flener, Pierre et al.

Part of Constraints, p. 512-529, 2017

• DOI for Auto-tabling for subproblem presolving in MiniZinc

A parametric propagator for pairs of SUM constraints with a discrete convexity property

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

Part of Artificial Intelligence, p. 170-190, 2016

• DOI for A parametric propagator for pairs of SUM constraints with a discrete convexity property

A constraint-based local search backend for MiniZinc

Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin

Part of Constraints, p. 325-345, 2015

• DOI for A constraint-based local search backend for MiniZinc

Toward sustainable development in constraint programming

Beldiceanu, Nicolas; Flener, Pierre; Monette, Jean-Noël; Pearson, Justin et al.

Part of Constraints, p. 139-149, 2014

• DOI for Toward sustainable development in constraint programming

Underestimating the cost of a soft constraint is dangerous: Revisiting the edit-distance based soft regular constraint

He, Jun; Flener, Pierre; Pearson, Justin

Part of Journal of Heuristics, p. 729-756, 2013

• DOI for Underestimating the cost of a soft constraint is dangerous: Revisiting the edit-distance based soft regular constraint

On the reification of global constraints

Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin

Part of Constraints, p. 1-6, 2013

• DOI for On the reification of global constraints

On matrices, automata, and double counting in constraint programming

Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin

Part of Constraints, p. 108-140, 2013

• DOI for On matrices, automata, and double counting in constraint programming

Constraint Programming for Air Traffic Management: Preface

Flener, Pierre; Pearson, Justin; Bourgois, Marc

Part of Knowledge engineering review (Print), p. 287-289, 2012

• DOI for Constraint Programming for Air Traffic Management: Preface

Contingency plans for air traffic flow and capacity management using constraint programming

Sundequist Blomdahl, Karl; Flener, Pierre; Pearson, Justin

Part of Journal of Aerospace Operations, p. 249-266, 2012

• DOI for Contingency plans for air traffic flow and capacity management using constraint programming

An automaton constraint for local search

He, Jun; Flener, Pierre; Pearson, Justin

Part of Fundamenta Informaticae, p. 223-248, 2011

• DOI for An automaton constraint for local search

Revisiting constraint-directed search

Ågren, Magnus; Flener, Pierre; Pearson, Justin

Part of Information and Computation, p. 438-457, 2009

• DOI for Revisiting constraint-directed search

Dynamic structural symmetry breaking for constraint satisfaction problems

Flener, Pierre; Pearson, Justin; Sellmann, Meinolf; Van Hentenryck, Pascal et al.

Part of Constraints, p. 506-538, 2009

• DOI for Dynamic structural symmetry breaking for constraint satisfaction problems

Solving necklace constraint problems

Flener, Pierre; Pearson, Justin

Part of Journal of Algorithms, p. 61-73, 2009

• DOI for Solving necklace constraint problems

Static and dynamic structural symmetry breaking

Flener, Pierre; Pearson, Justin; Sellmann, Meinolf

Part of Annals of Mathematics and Artificial Intelligence, p. 37-57, 2009

• DOI for Static and dynamic structural symmetry breaking

Combining tree partitioning, precedence, and incomparability constraints

Beldiceanu, Nicolas; Flener, Pierre; Lorca, Xavier

Part of Constraints, p. 459-489, 2008

• DOI for Combining tree partitioning, precedence, and incomparability constraints

A bound on the overlap of same-sized subsets

Sivertsson, Olof; Flener, Pierre; Pearson, Justin

Part of Annals of Combinatorics, p. 347-352, 2008

• DOI for A bound on the overlap of same-sized subsets

An introduction to inductive programming

Flener, Pierre; Schmid, Ute

Part of Artificial Intelligence Review, p. 45-62, 2008

• DOI for An introduction to inductive programming

Air-traffic complexity resolution in multi-sector planning

Flener, Pierre; Pearson, Justin; Ågren, Magnus; Garcia Avello, Carlos et al.

Part of Journal of Air Transport Management, p. 323-328, 2007

• DOI for Air-traffic complexity resolution in multi-sector planning

Generic incremental algorithms for local search

Ågren, Magnus; Flener, Pierre; Pearson, Justin

Part of Constraints, p. 293-324, 2007

• DOI for Generic incremental algorithms for local search

Design of financial CDO squared transactions using constraint programming

Flener, Pierre; Pearson, Justin; Reyna, Luis G.; Sivertsson, Olof

Part of Constraints, p. 179-205, 2007

• DOI for Design of financial CDO squared transactions using constraint programming

Inductive Programming

Flener, P; Partridge, D

Part of Automated Software Engineering Journal, p. 131-137, 2001

Constraint programming for air traffic management: a survey

Allignol, Cyril; Barnier, Nicolas; Flener, Pierre; Pearson, Justin

Part of Knowledge engineering review (Print), p. 361-392, 2012

• DOI for Constraint programming for air traffic management: a survey

Constraint Programming in Sweden

Flener, Pierre; Carlsson, Mats; Schulte, Christian

Part of IEEE Intelligent Systems, p. 87-89, 2009

• DOI for Constraint Programming in Sweden

Programming by demonstration

Flener, Pierre; Schmid, Ute

Part of Encyclopedia of Machine Learning, p. 805-805, Springer, 2010

• DOI for Programming by demonstration

Trace-based programming

Flener, Pierre; Schmid, Ute

Part of Encyclopedia of Machine Learning, p. 989-989, Springer, 2010

• DOI for Trace-based programming

Inductive programming

Flener, Pierre; Schmid, Ute

Part of Encyclopedia of Machine Learning, p. 537-544, Springer, 2010

• DOI for Inductive programming

Synthesis of Programs in Computational Logic

Basin, David; Deville, Yves; Flener, Pierre; Hamfelt, Andreas et al.

Part of Program Development in Computational Logic, p. 30-65, Springer-Verlag, 2004

Introducing ESRA, a relational language for modelling combinatorial problems

Flener, Pierre; Pearson, Justin; Ågren, Magnus

Part of LOPSTR'03: Revised Selected Papers, p. 214-232, Springer-Verlag, 2004

Achievements and prospects of program synthesis

Flener, Pierre

Part of Computational Logic: Logic Programming and Beyond;Computational Logic: Logic Programming and Beyond; Essays in Honour of Robert A. Kowalski, p. 310-346, Springer-Verlag, 2002

Special Issue on ASE'00

Alexander, Perry; Flener, Pierre

Kluwer Academic Publishers, 2003

Solving Satisfaction Problems using Large-Neighbourhood Search

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

Part of Principles and Practice of Constraint Programming, p. 55-71, 2020

• DOI for Solving Satisfaction Problems using Large-Neighbourhood Search

Generating compound moves in local search by hybridisation with complete search

Björdal, Gustav; Flener, Pierre; Pearson, Justin

Part of Integration of Constraint Programming, Artificial Intelligence, and Operations Research, p. 95-111, 2019

• DOI for Generating compound moves in local search by hybridisation with complete search

Exploring declarative local-search neighbourhoods with constraint programming

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

Part of Principles and Practice of Constraint Programming, p. 37-53, 2019

• DOI for Exploring declarative local-search neighbourhoods with constraint programming

Declarative local-search neighbourhoods in MiniZinc

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

Part of PROCEEDINGS OF THE 2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), p. 98-105, 2018

• DOI for Declarative local-search neighbourhoods in MiniZinc

Automatic generation of descriptions of time-series constraints

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

Part of IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI), p. 102-109, 2017

• DOI for Automatic generation of descriptions of time-series constraints

MiniZinc with strings

Amadini, Roberto; Flener, Pierre; Pearson, Justin; Scott, Joseph D. et al.

Part of Logic-Based Program Synthesis and Transformation, p. 59-75, 2017

• DOI for MiniZinc with strings

Design and implementation of bounded-length sequence variables

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

Part of Integration of AI and OR Techniques in Constraint Programming, p. 51-67, 2017

• DOI for Design and implementation of bounded-length sequence variables

Time-series constraints: Improvements and application in CP and MIP contexts

Arafailova, Ekaterina; Beldiceanu, Nicolas; Douence, Rémi; Flener, Pierre et al.

Part of Integration of AI and OR Techniques in Constraint Programming, p. 18-34, 2016

• DOI for Time-series constraints: Improvements and application in CP and MIP contexts

Systematic derivation of bounds and glue constraints for time-series constraints

Arafailova, Ekaterina; Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre et al.

Part of Principles and Practice of Constraint Programming, p. 13-29, 2016

• DOI for Systematic derivation of bounds and glue constraints for time-series constraints

On the Reification of Global Constraints (Abstract)

Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin

Part of Principles and practice of constraint programming, CP 2015, p. 733-733, 2015

Implied constraints for AUTOMATON constraints

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

Part of Global Conference on Artificial Intelligence, p. 113-126, 2015

Automated auxiliary variable elimination through on-the-fly propagator generation

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

Part of Principles and Practice of Constraint Programming, p. 313-329, 2015

• DOI for Automated auxiliary variable elimination through on-the-fly propagator generation

A modelling pearl with sortedness constraints

Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Lorca, Xavier et al.

Part of Global Conference on Artificial Intelligence, p. 27-41, 2015

Constraint solving on bounded string variables

Scott, Joseph D.; Flener, Pierre; Pearson, Justin

Part of Integration of AI and OR Techniques in Constraint Programming, p. 375-392, 2015

• DOI for Constraint solving on bounded string variables

Propagating regular counting constraints

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

Part of Proc. 28th AAAI Conference on Artificial Intelligence, p. 2616-2622, 2014

Linking prefixes and suffixes for constraints encoded using automata with accumulators

Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Francisco Rodríguez, María Andreína et al.

Part of Principles and Practice of Constraint Programming, p. 142-157, 2014

• DOI for Linking prefixes and suffixes for constraints encoded using automata with accumulators

A propagator design framework for constraints over sequences

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

Part of Proc. 28th AAAI Conference on Artificial Intelligence, p. 2710-2716, 2014

Solving string constraints: The case for constraint programming

He, Jun; Flener, Pierre; Pearson, Justin; Zhang, Wei Ming

Part of Principles and Practice of Constraint Programming, p. 381-397, 2013

• DOI for Solving string constraints: The case for constraint programming

A parametric propagator for discretely convex pairs of sum constraints

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

Part of Principles and Practice of Constraint Programming, p. 529-544, 2013

• DOI for A parametric propagator for discretely convex pairs of sum constraints

Airspace sectorisation using constraint-based local search

Jägare, Peter; Flener, Pierre; Pearson, Justin

Part of Proc. 10th USA/Europe Air Traffic Management Research and Development Seminar, 2013

• Download full text (pdf) of Airspace sectorisation using constraint-based local search

Optimising quality of information in data collection for mobile sensor networks

Hassani Bijarbooneh, Farshid; Flener, Pierre; Ngai, Edith; Pearson, Justin

Part of Proc. 21st International Symposium on Quality of Service, p. 163-172, 2013

• DOI for Optimising quality of information in data collection for mobile sensor networks

Des propagateurs indépendants des solveurs

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

Part of Actes des Neuvièmes Journées Francophones de Programmation par Contraintes, p. 227-236, 2013

Bounded strings for constraint programming

Scott, Joseph D.; Flener, Pierre; Pearson, Justin

Part of Proc. 25th International Conference on Tools with Artificial Intelligence, p. 1036-1043, 2013

• DOI for Bounded strings for constraint programming

Generation of implied constraints for automaton-induced decompositions

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

Part of Proc. 25th International Conference on Tools with Artificial Intelligence, p. 1076-1083, 2013

• DOI for Generation of implied constraints for automaton-induced decompositions

Solution neighbourhoods for constraint-directed local search

He, Jun; Flener, Pierre; Pearson, Justin

Part of Proc. 27th ACM Symposium on Applied Computing, p. 74-79, 2012

• DOI for Solution neighbourhoods for constraint-directed local search

Towards solver-independent propagators

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

Part of Principles and Practice of Constraint Programming, p. 544-560, 2012

• DOI for Towards solver-independent propagators
• Download full text (pdf) of Towards solver-independent propagators

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

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

Part of Proc. Wireless Communications and Networking Conference 2012, p. 2108-2112, 2012

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

Combinatorial problem solving over relational databases: View synthesis through constraint-based local search

Mancini, Toni; Flener, Pierre; Pearson, Justin K.

Part of Proc. 27th ACM Symposium on Applied Computing, p. 80-87, 2012

• DOI for Combinatorial problem solving over relational databases: View synthesis through constraint-based local search

Consistency of constraint networks induced by automaton-based constraint specifications

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

Part of Proc. 10th International Workshop on Constraint Modelling and Reformulation, p. 117-131, 2011

Energy-efficient task mapping for data-driven sensor network macroprogramming using constraint programming

Hassani Bijarbooneh, Farshid; Flener, Pierre; Ngai, Edith; Pearson, Justin

Part of Operations Research, Computing, and Homeland Defense, p. 199-209, 2011

• DOI for Energy-efficient task mapping for data-driven sensor network macroprogramming using constraint programming

Energy-efficient task-mapping for data-driven sensor network macroprogramming using constraint programming

Hassani Bijarbooneh, Farshid; Flener, Pierre; Ngai, Edith; Pearson, Justin

Part of Proc. 9th International Workshop on Constraint Modelling and Reformulation, p. 13, 2010

• Download full text (pdf) of Energy-efficient task-mapping for data-driven sensor network macroprogramming using constraint programming

Contingency plans for air traffic flow and capacity management

Sundequist Blomdahl, Karl; Flener, Pierre; Pearson, Justin

Part of Proc. 9th Innovative Research Workshop and Exhibition, p. 119-126, 2010

• Download full text (pdf) of Contingency plans for air traffic flow and capacity management

Local search over relational databases

Mancini, Toni; Flener, Pierre; Pearson, Justin

Part of Proc. 7th International Workshop on Local Search Techniques in Constraint Satisfaction, p. 15, 2010

Contingency plans for air traffic management

Sundequist Blomdahl, Karl; Flener, Pierre; Pearson, Justin

Part of Principles and Practice of Constraint Programming – CP 2010, p. 643-657, 2010

• DOI for Contingency plans for air traffic management

On matrices, automata, and double counting

Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin

Part of Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, p. 10-24, 2010

• DOI for On matrices, automata, and double counting

Dynamic demand-capacity balancing for air traffic management using constraint-based local search: First results

Hassani Bijarbooneh, Farshid; Flener, Pierre; Pearson, Justin

Part of Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, p. 27-40, 2009

• DOI for Dynamic demand-capacity balancing for air traffic management using constraint-based local search: First results

Constrained optimisation over massive databases

Mancini, Toni; Flener, Pierre; Hossein Monshi, Amir; Pearson, Justin

Part of Proc. 16th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, p. 16, 2009

Toward an automaton constraint for local search

He, Jun; Flener, Pierre; Pearson, Justin

Part of Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, p. 13-25, 2009

• DOI for Toward an automaton constraint for local search

Solving necklace constraint problems

Flener, Pierre; Pearson, Justin

Part of Proc. 18th European Conference on Artificial Intelligence, p. 520-524, 2008

Efficient structural symmetry breaking for constraint satisfaction problems

Flener, Pierre; Pearson, Justin; Sellmann, Meinolf; Van Hentenryck, Pascal et al.

Part of International Symmetry Conference, 2007

Revisiting constraint-directed search

Ågren, Magnus; Flener, Pierre; Pearson, Justin

Part of Proceedings of LSCS'07, the 4th International Workshop on Local Search Techniques in Constraint Satisfaction, 2007

Air-traffic complexity resolution in multi-sector planning using constraint programming

Flener, Pierre; Pearson, Justin; Ågren, Magnus; Garcia Avello, Carlos et al.

Part of Proceedings of ATM'07, the 7th USA/Europe R&D Seminar on Air Traffic Management, 2007

Realism in project-based software engineering courses: Rewards, risks, and recommendations

Flener, Pierre

Part of International Symposium on Computer and Information Sciences (ISCIS'06), 2006

• DOI for Realism in project-based software engineering courses: Rewards, risks, and recommendations

Static and dynamic structural symmetry breaking

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

Part of Twelfth International Conference on Principles and Practice of Constraint Programming (CP'06), 2006

• DOI for Static and dynamic structural symmetry breaking

Partitionnement de graphes par des arbres sous contraintes de degré

Beldiceanu, Nicolas; Flener, Pierre; Lorca, Xavier

Part of Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC'06), 2006

Inferring variable conflicts for local search

Ågren, Magnus; Flener, Pierre; Pearson, Justin

Part of Principles and Practice of Constraint Programming - CP 2006, 2006

• DOI for Inferring variable conflicts for local search

The tree constraint

Beldiceanu, Nicolas; Flener, Pierre; Lorca, Xavier

Part of Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005, Proceedings, p. 64-78, 2005

Incremental algorithms for local search from existential second-order logic

Ågren, Magnus; Flener, Pierre; Pearson, Justin

Part of Proceedings of Principles and Practice of Constraint Programming - CP 2005, p. 47-61, 2005

Compositional derivation of symmetries for constraint satisfaction

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

Part of Abstraction, Reformulation and Approximation, p. 234-247, 2005

• DOI for Compositional derivation of symmetries for constraint satisfaction

Set variables and local search

Ågren, Magnus; Flener, Pierre; Pearson, Justin

Part of Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005, Proceedings, p. 19-33, 2005

Financial portfolio optimisation

Flener, Pierre; Pearson, Justin; Reyna, Luis G.

Part of 10th International Conference on Principles and Practice of Constraint Programming, p. 227-241, 2004

Tractable symmetry breaking for CSPs with interchangeable values.

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

Part of Proceedings of the eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), p. 277-282, 2003

Breaking symmetries in matrix models: A brief overview.

Flener, Pierre; Frisch, Alan M.; Hnich, Brahim; Jefferson, Chris et al.

Part of Proceedings of the Tenth Workshop on Automated Reasoning (ARW'03), 2003

Program synthesis for combinatorial optimisation problems: Position statement

Flener, Pierre

Part of Working Notes of the AAAI'02 Spring Symposium on the State of the Art and Future Trends of Logic-based Program Synthesis, 2002

Matrix modelling: Exploiting common patterns in constraint programming

Flener, Pierre; Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep et al.

Part of Proceedings of the International Workshop on Reformulating CSPs, 2002

Breaking all the symmetries in matrix models: Results, conjectures, and directions

Flener, Pierre; Pearson, Justin

Part of Proceedings of SymCon'02, the Second International Workshop on Symmetry in CSPs, 2002

Breaking row and column symmetries in matrix models

Flener, Pierre; Frisch, Alan M.; Hnich, Brahim; Kiziltan, Zeynep et al.

Part of Principles and Practice of Constraint Programming – CP 2002, p. 462-476, 2002

• DOI for Breaking row and column symmetries in matrix models

Symmetry in matrix models

Flener, P; Frisch, AM; Hnich, B; Kiziltan, Z et al.

Part of Proc. of SymCon'01, the First International Workshop on Symmetry in CSPs, p. 41-47, 2001

Matrix modelling

Flener, P; Frisch, A; Hnich, B; Kiziltan, Z et al.

Part of Proc. of Formul'01, the CP'01 Workshop on Modelling and Problem Formulation, 2001

A meta-heuristic for subset decision problems

Hnich, Brahim; Kiziltan, Zeynep; Flener, Pierre

Part of Proc. of the 2000 ERCIM/CompuLog Workshop on Constraint Programming, 2000

Towards schema-guided compilation of set constraint programs

Flener, Pierre; Hnich, Brahim; Kiziltan, Zeynep

Part of Proc. of DPS'99, p. 59-66, 1999

Schema-guided synthesis of constraint logic programs

Flener, Pierre; Zidoum, Hamza; Hnich, Brahim

Part of Proceedings of ASE'98, p. 168-176, 1998

Proc. 10th International Workshop on Symmetry in Constraint Satisfaction Problems

Flener, Pierre; Pearson, Justin

2010

Proceedings of LSCS'08, the Fifth International Workshop on Local Search Techniques in Constraint Satisfaction

Flener, Pierre; Naveh, Yehuda

2008

Proceedings of ModRef'08, the Seventh International Workshop on Constraint Modelling and Reformulation

Flener, Pierre; Simonis, Helmut

2008

Proceedings of SymCon'02, the Second International Workshop on Symmetry in CSPs

Flener, Pierre; Pearson, Justin

2002

Proceedings of SymCon'01, the First International Workshop on Symmetry in CSPs

Flener, Pierre; Pearson, Justin

2001

Global Constraint Catalog: Volume II, time-series constraints

Arafailova, Ekaterina; Beldiceanu, Nicolas; Douence, Rémi; Carlsson, Mats et al.

2016

Propagators and violation functions for geometric and workload constraints arising in airspace sectorisation

Flener, Pierre; Pearson, Justin

2014

Automatic airspace sectorisation: A survey

Flener, Pierre; Pearson, Justin

2013

On Constraint-Oriented Neighbours for Local Search

Ågren, Magnus; Flener, Pierre; Pearson, Justin

2007

Structural symmetry breaking for constraint satisfaction problems

Flener, Pierre; Pearson, Justin; Sellmann, Meinolf; Van Hentenryck, Pascal et al.

2007

Air-Traffic Complexity Resolution in Multi-Sector Planning

Flener, Pierre; Pearson, Justin; Ågren, Magnus; Garcia Avello, Carlos et al.

2007

Combining Tree Partitioning, Precedence, Incomparability, and Degree Constraints, with an Application to Phylogenetic and Ordered-Path Problems

Beldiceanu, Nicolas; Flener, Pierre; Lorca, Xavier

2006

Worst-case air-traffic generation using constraint programming

Flener, Pierre; Pearson, Justin

2004

Air-traffic complexity resolution using constraint programming

Flener, Pierre; Pearson, Justin; Ågren, Magnus

2004

Towards automatic generation and evaluation of implied constraints.

Hnich, Brahim; Richardson, Julian; Flener, Pierre

2003

• Download full text (ps) of Towards automatic generation and evaluation of implied constraints.

Program schemas as proof methods.

Richardson, Julian; Flener, Pierre

2003

• Download full text (ps) of Program schemas as proof methods.

Matrix Modelling

Flener, Pierre; Frisch, Alan; Hnich, Brahim; Kiziltan, Zeynep et al.

2001

• Download full text (ps) of Matrix Modelling

Symmetry in Matrix Models

Flener, Pierre; Frisch, Alan; Hnich, Brahim; Kiziltan, Zeynep et al.

2001

• Download full text (ps) of Symmetry in Matrix Models