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 | 283 | 2002 |
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 | 100 | 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 Air Traffic Management R&D Seminar (ATM 2007), 2007 | 100* | 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 | 99 | 2004 |
Inductive synthesis of recursive logic programs: Achievements and prospects P Flener, S Yilmaz The Journal of Logic Programming 41 (2-3), 141-195, 1999 | 89 | 1999 |
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 | 81 | 2005 |
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 | 76 | 2004 |
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 | 69 | 2001 |
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 | 62 | 2003 |
An introduction to inductive programming P Flener, U Schmid Artificial Intelligence Review 29, 45-62, 2008 | 56 | 2008 |
Inductive logic program synthesis with DIALOGS P Flener Inductive Logic Programming (ILP 1996), 175-198 @ LNAI 1314, 1997 | 53 | 1997 |
Logic program synthesis from incomplete specifications P Flener, Y Deville Journal of Symbolic Computation 15 (5-6), 775-805, 1993 | 53 | 1993 |
Automatic airspace sectorisation: A survey P Flener, J Pearson arXiv preprint arXiv:1311.0653, 2013 | 48 | 2013 |
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 | 46 | 2002 |
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 | 46 | 1998 |
Inductive programming P Flener, D Partridge Automated Software Engineering 8 (2), 131-137, 2001 | 45 | 2001 |
A constraint-based local search backend for MiniZinc G Björdal, JN Monette, P Flener, J Pearson Constraints 20, 325-345, 2015 | 43 | 2015 |
On the reification of global constraints N Beldiceanu, M Carlsson, P Flener, J Pearson Constraints 18, 1-6, 2013 | 40 | 2013 |
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 | 38 | 2012 |