Pierre Flener
Pierre Flener
Professor of Computing Science, Uppsala University, Sweden
Adresse e-mail validée de it.uu.se - Page d'accueil
Titre
Citée par
Citée par
Année
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
2592002
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
942004
Logic Program Synthesis from Incomplete Information
P Flener
Springer, 1995
86*1995
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
822007
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
82*2007
Inductive synthesis of recursive logic programs: Achievements and prospects
P Flener, S Yilmaz
The Journal of Logic Programming 41 (2-3), 141-195, 1999
811999
The tree constraint
N Beldiceanu, P Flener, X Lorca
Integration of AI and OR Techniques in Constraint Programming for …, 2005
742005
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
622001
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
612004
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
532003
Logic program synthesis from incomplete specifications
P Flener, Y Deville
J. Symb. Comput. 15 (5/6), 778-805, 1993
511993
Inductive logic program synthesis with DIALOGS
P Flener
Inductive Logic Programming (ILP 1996), 175-198 @ LNAI 1314, 1997
451997
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
442002
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
Automatic airspace sectorisation: A survey
P Flener, J Pearson
arXiv preprint arXiv:1311.0653, 2013
402013
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
A constraint-based local search backend for MiniZinc
G Björdal, JN Monette, P Flener, J Pearson
Constraints 20 (3), 325-345, 2015
352015
On the reification of global constraints
N Beldiceanu, M Carlsson, P Flener, J Pearson
Constraints 18 (1), 1-6, 2013
352013
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20