Pierre Flener
Pierre Flener
Professor of Computing Science, Uppsala University, Sweden
Bestätigte E-Mail-Adresse bei it.uu.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2652002
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
932004
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
862007
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
86*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
851999
Logic Program Synthesis from Incomplete Information
P Flener
Springer, 1995
83*1995
The tree constraint
N Beldiceanu, P Flener, X Lorca
Integration of AI and OR Techniques in Constraint Programming for …, 2005
762005
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
672004
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
642001
Logic program synthesis from incomplete specifications
P Flener, Y Deville
Journal of Symbolic Computation 15 (5-6), 775-805, 1993
541993
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
Inductive logic program synthesis with DIALOGS
P Flener
Inductive Logic Programming (ILP 1996), 175-198 @ LNAI 1314, 1997
491997
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
452002
Automatic airspace sectorisation: A survey
P Flener, J Pearson
arXiv preprint arXiv:1311.0653, 2013
422013
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
A constraint-based local search backend for MiniZinc
G Björdal, JN Monette, P Flener, J Pearson
Constraints 20 (3), 325-345, 2015
392015
An introduction to inductive programming
P Flener, U Schmid
Artificial Intelligence Review 29 (1), 45-62, 2008
382008
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
372006
Achievements and prospects of program synthesis
P Flener
Computational logic: Logic programming and beyond, 1-43, 2002
372002
On the reification of global constraints
N Beldiceanu, M Carlsson, P Flener, J Pearson
Constraints 18 (1), 1-6, 2013
362013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20