Pierre Flener
Pierre Flener
Professor of Computing Science, Uppsala University, Sweden
Verified email at it.uu.se - Homepage
TitleCited byYear
Breaking row and column symmetries in matrix models
P Flener, A Frisch, B Hnich, Z Kiziltan, I Miguel, J Pearson, T Walsh
Principles and Practice of Constraint Programming (CP 2002), 462-476 @ LNCS 2470, 2002
2482002
Introducing ESRA, a relational language for modelling combinatorial problems
P Flener, J Pearson, M Ågren
Logic Based Program Synthesis and Transformation (Post-Proceedings of LOPSTR …, 2004
912004
Logic Program Synthesis from Incomplete Information
P Flener
Springer, 1995
80*1995
Inductive synthesis of recursive logic programs: Achievements and prospects
P Flener, S Yilmaz
The Journal of Logic Programming 41 (2-3), 141-195, 1999
781999
Air-traffic complexity resolution in multi-sector planning
P Flener, J Pearson, M Ågren, C Garcia-Avello, M Celiktin, S Dissing
Journal of Air Transport Management 13 (6), 323-328, 2007
762007
Air-traffic complexity resolution in multi-sector planning using constraint programming
P Flener, J Pearson, M Agren, C Garcia-Avello, M Celiktin, S Dissing
Air Traffic Management R&D Seminar (ATM 2007), 2007
76*2007
Air-Traffic Complexity Resolution in Multi-Sector Planning Using Constraint Programming
P Flener, J Pearson, M Agren, C Garcia-Avello, M Celiktin, S Dissing
76*
The tree constraint
N Beldiceanu, P Flener, X Lorca
Integration of AI and OR Techniques in Constraint Programming for …, 2005
722005
Matrix modelling
P Flener, AM Frisch, B Hnich, Z Kızıltan, I Miguel, T Walsh
CP 2001 Workshop on Modelling and Problem Formulation (Formul 2001), 2001
562001
Synthesis of programs in computational logic
D Basin, Y Deville, P Flener, A Hamfelt, J Fischer Nilsson
Program Development in Computational Logic, 30-65 @ LNCS 3049, 2004
552004
Tractable symmetry breaking for CSPs with interchangeable values
P Van Hentenryck, P Flener, J Pearson, M Agren
International Joint Conference on Artificial Intelligence (IJCAI 2003) 18 …, 2003
522003
Logic program synthesis from incomplete specifications
P Flener, Y Deville
Journal of Symbolic Computation 15 (5-6), 775-805, 1993
511993
Inductive logic program synthesis with DIALOGS
P Flener
Inductive Logic Programming (ILP 1996), 175-198 @ LNAI 1314, 1997
431997
Specifications are necessarily informal or: Some more myths of formal methods
B Le Charlier, P Flener
Journal of Systems and Software 40 (3), 275-296, 1998
421998
Matrix modelling: Exploiting common patterns in constraint programming
P Flener, AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh
CP 2002 International Workshop on Reformulating Constraint Satisfaction …, 2002
412002
An abstract formalization of correct schemas for program synthesis
P Flener, KK Lau, M Ornaghi, J Richardson
Journal of Symbolic Computation 30 (1), 93-127, 2000
362000
On correct program schemas
P Flener, KK Lau, M Ornaghi
Logic Program Synthesis and Transformation (Post-Proceedings of LOPSTR 1997 …, 1998
361998
Static and dynamic structural symmetry breaking
P Flener, J Pearson, M Sellmann, P Van Hentenryck
Principles and Practice of Constraint Programming (CP 2006), 695-699 @ LNCS 4204, 2006
352006
Automatic airspace sectorisation: A survey
P Flener, J Pearson
arXiv preprint arXiv:1311.0653, 2013
342013
A constraint-based local search backend for MiniZinc
G Björdal, JN Monette, P Flener, J Pearson
Constraints 20 (3), 325-345, 2015
332015
The system can't perform the operation now. Try again later.
Articles 1–20