Segueix
Pierre Flener
Pierre Flener
Professor of Computing Science, Uppsala University, Sweden
Correu electrònic verificat a it.uu.se - Pàgina d'inici
Títol
Citada per
Citada per
Any
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
2822002
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
992007
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
99*2007
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
992004
Inductive synthesis of recursive logic programs: Achievements and prospects
P Flener, S Yilmaz
The Journal of Logic Programming 41 (2-3), 141-195, 1999
891999
Logic Program Synthesis from Incomplete Information
P Flener
Springer, 1995
88*1995
The tree constraint
N Beldiceanu, P Flener, X Lorca
Integration of AI and OR Techniques in Constraint Programming for …, 2005
802005
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
742004
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
692001
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
622003
An introduction to inductive programming
P Flener, U Schmid
Artificial Intelligence Review 29, 45-62, 2008
552008
Logic program synthesis from incomplete specifications
P Flener, Y Deville
Journal of Symbolic Computation 15 (5-6), 775-805, 1993
531993
Inductive logic program synthesis with DIALOGS
P Flener
Inductive Logic Programming (ILP 1996), 175-198 @ LNAI 1314, 1997
521997
Automatic airspace sectorisation: A survey
P Flener, J Pearson
arXiv preprint arXiv:1311.0653, 2013
482013
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
462002
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
461998
Inductive programming
P Flener, D Partridge
Automated Software Engineering 8 (2), 131-137, 2001
452001
A constraint-based local search backend for MiniZinc
G Björdal, JN Monette, P Flener, J Pearson
Constraints 20, 325-345, 2015
412015
On the reification of global constraints
N Beldiceanu, M Carlsson, P Flener, J Pearson
Constraints 18, 1-6, 2013
392013
Constraint programming for air traffic management: A survey
C Allignol, N Barnier, P Flener, J Pearson
The Knowledge Engineering Review 27 (03), 361-392, 2012
382012
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20