Pierre Flener
Professor i datalogi 08 vid Institutionen för informationsteknologi; Datalogi
- Telefon:
- 018-471 10 28
- E-post:
- Pierre.Flener@it.uu.se
- Besöksadress:
- Hus 10, Lägerhyddsvägen 1
- Postadress:
- Box 337
751 05 UPPSALA
Ladda ned kontaktuppgifter för Pierre Flener vid Institutionen för informationsteknologi; Datalogi
- Akademiska meriter:
- PhD, docent
- ORCID:
- 0000-0001-8730-4098
Mer information visas för dig som medarbetare om du loggar in.
Kort presentation
I am a researcher in the Optimisation group: we address the solution of optimisation problems — such as scheduling, personnel allocation, and vehicle routing — via basic, strategic, and applied research. These problems are akin to complex puzzles, where decisions have to be made so that some constraints are satisfied. Often, some cost must be minimised.
See my researcher homepage for more information.
Nyckelord
- algorithm design
- artificial intelligence
- combinatorial optimization
- constraint modelling
- constraint programming
- constraint solver
- decision support
- discrete optimization
- stochastic local search
Biografi
Forskning
See the Optimisation Group.
Publikationer
Senaste publikationer
- Maximizing Value Yield in Wood Industry through Flexible Sawing and Product Grading Based on Wane and Log Shape (2024)
- A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot (2023)
- Solving Satisfaction Problems using Large-Neighbourhood Search (2020)
- Generating compound moves in local search by hybridisation with complete search (2019)
- Exploring declarative local-search neighbourhoods with constraint programming (2019)
Alla publikationer
Artiklar
- Maximizing Value Yield in Wood Industry through Flexible Sawing and Product Grading Based on Wane and Log Shape (2024)
- A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot (2023)
- Auto-tabling for subproblem presolving in MiniZinc (2017)
- A parametric propagator for pairs of SUM constraints with a discrete convexity property (2016)
- A constraint-based local search backend for MiniZinc (2015)
- Toward sustainable development in constraint programming (2014)
- On the reification of global constraints (2013)
- On matrices, automata, and double counting in constraint programming (2013)
- Underestimating the cost of a soft constraint is dangerous (2013)
- Constraint programming for air traffic management (2012)
- Constraint Programming for Air Traffic Management (2012)
- Contingency plans for air traffic flow and capacity management using constraint programming (2012)
- An automaton constraint for local search (2011)
- Constraint Programming in Sweden (2009)
- Solving necklace constraint problems (2009)
- Static and dynamic structural symmetry breaking (2009)
- Dynamic structural symmetry breaking for constraint satisfaction problems (2009)
- Revisiting constraint-directed search (2009)
- Combining tree partitioning, precedence, and incomparability constraints (2008)
- An introduction to inductive programming (2008)
- A bound on the overlap of same-sized subsets (2008)
- Design of financial CDO squared transactions using constraint programming (2007)
- Air-traffic complexity resolution in multi-sector planning (2007)
- Generic incremental algorithms for local search (2007)
- Inductive Programming (2001)
Böcker
- Proc. 10th International Workshop on Symmetry in Constraint Satisfaction Problems (2010)
- Proceedings of LSCS'08, the Fifth International Workshop on Local Search Techniques in Constraint Satisfaction (2008)
- Proceedings of ModRef'08, the Seventh International Workshop on Constraint Modelling and Reformulation (2008)
- Special Issue on ASE'00 (2003)
- Proceedings of SymCon'02, the Second International Workshop on Symmetry in CSPs (2002)
- Proceedings of SymCon'01, the First International Workshop on Symmetry in CSPs (2001)
Kapitel
- Trace-based programming (2010)
- Programming by demonstration (2010)
- Inductive programming (2010)
- Synthesis of Programs in Computational Logic (2004)
- Introducing ESRA, a relational language for modelling combinatorial problems (2004)
- Achievements and prospects of program synthesis (2002)
Konferenser
- Solving Satisfaction Problems using Large-Neighbourhood Search (2020)
- Generating compound moves in local search by hybridisation with complete search (2019)
- Exploring declarative local-search neighbourhoods with constraint programming (2019)
- Declarative local-search neighbourhoods in MiniZinc (2018)
- MiniZinc with strings (2017)
- Automatic generation of descriptions of time-series constraints (2017)
- Design and implementation of bounded-length sequence variables (2017)
- Systematic derivation of bounds and glue constraints for time-series constraints (2016)
- Time-series constraints (2016)
- A modelling pearl with sortedness constraints (2015)
- On the Reification of Global Constraints (Abstract) (2015)
- Implied constraints for AUTOMATON constraints (2015)
- Automated auxiliary variable elimination through on-the-fly propagator generation (2015)
- Constraint solving on bounded string variables (2015)
- Linking prefixes and suffixes for constraints encoded using automata with accumulators (2014)
- Propagating regular counting constraints (2014)
- A propagator design framework for constraints over sequences (2014)
- Generation of implied constraints for automaton-induced decompositions (2013)
- Optimising quality of information in data collection for mobile sensor networks (2013)
- Solving string constraints (2013)
- Airspace sectorisation using constraint-based local search (2013)
- A parametric propagator for discretely convex pairs of sum constraints (2013)
- Des propagateurs indépendants des solveurs (2013)
- Bounded strings for constraint programming (2013)
- An optimisation-based approach for wireless sensor deployment in mobile sensing environments (2012)
- Solution neighbourhoods for constraint-directed local search (2012)
- Combinatorial problem solving over relational databases (2012)
- Towards solver-independent propagators (2012)
- Consistency of constraint networks induced by automaton-based constraint specifications (2011)
- Energy-efficient task mapping for data-driven sensor network macroprogramming using constraint programming (2011)
- On matrices, automata, and double counting (2010)
- Energy-efficient task-mapping for data-driven sensor network macroprogramming using constraint programming (2010)
- Local search over relational databases (2010)
- Contingency plans for air traffic management (2010)
- Contingency plans for air traffic flow and capacity management (2010)
- Dynamic demand-capacity balancing for air traffic management using constraint-based local search (2009)
- Toward an automaton constraint for local search (2009)
- Constrained optimisation over massive databases (2009)
- Solving necklace constraint problems (2008)
- Efficient structural symmetry breaking for constraint satisfaction problems (2007)
- Air-traffic complexity resolution in multi-sector planning using constraint programming (2007)
- Revisiting constraint-directed search (2007)
- Partitionnement de graphes par des arbres sous contraintes de degré (2006)
- Realism in project-based software engineering courses: Rewards, risks, and recommendations (2006)
- Static and dynamic structural symmetry breaking (2006)
- Inferring variable conflicts for local search (2006)
- The tree constraint (2005)
- Compositional derivation of symmetries for constraint satisfaction (2005)
- Set variables and local search (2005)
- Incremental algorithms for local search from existential second-order logic (2005)
- Financial portfolio optimisation (2004)
- Breaking symmetries in matrix models: A brief overview. (2003)
- Tractable symmetry breaking for CSPs with interchangeable values. (2003)
- Program synthesis for combinatorial optimisation problems: Position statement (2002)
- Breaking row and column symmetries in matrix models (2002)
- Matrix modelling: Exploiting common patterns in constraint programming (2002)
- Breaking all the symmetries in matrix models: Results, conjectures, and directions (2002)
- Matrix modelling (2001)
- Symmetry in matrix models (2001)
- A meta-heuristic for subset decision problems (2000)
- Towards schema-guided compilation of set constraint programs (1999)
- Schema-guided synthesis of constraint logic programs (1998)
Rapporter
- Global Constraint Catalog (2016)
- Propagators and violation functions for geometric and workload constraints arising in airspace sectorisation (2014)
- Automatic airspace sectorisation (2013)
- Structural symmetry breaking for constraint satisfaction problems (2007)
- Air-Traffic Complexity Resolution in Multi-Sector Planning (2007)
- On Constraint-Oriented Neighbours for Local Search (2007)
- Combining Tree Partitioning, Precedence, Incomparability, and Degree Constraints, with an Application to Phylogenetic and Ordered-Path Problems (2006)
- Worst-case air-traffic generation using constraint programming (2004)
- Air-traffic complexity resolution using constraint programming (2004)
- Towards automatic generation and evaluation of implied constraints. (2003)
- Program schemas as proof methods. (2003)
- Symmetry in Matrix Models (2001)
- Matrix Modelling (2001)
