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, 187-192, 2006 | 285 | 2006 |
Efficient timed reachability analysis using clock difference diagrams G Behrmann, K Larsen, J Pearson, C Weise, W Yi Computer Aided Verification, 682-682, 1999 | 206 | 1999 |
Closure functions and width 1 problems V Dalmau, J Pearson International Conference on Principles and Practice of Constraint …, 1999 | 131 | 1999 |
Clock difference diagrams KG Larsen, J Pearson, C Weise, W Yi Nordic Journal of Computing 6 (3), 271-298, 1999 | 125 | 1999 |
A survey of tractable constraint satisfaction problems J Pearson, PG Jeavons Technical Report CSD-TR-97-15, Royal Holloway, University of London, 1997 | 125 | 1997 |
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 | 99 | 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, 2007 | 99* | 2007 |
Introducing ESRA, a relational language for modelling combinatorial problems P Flener, J Pearson, M Ågren International Symposium on Logic-Based Program Synthesis and Transformation …, 2003 | 98 | 2003 |
Back propagation in a Clifford algebra JK Pearson, DL Bisset Artificial Neural Networks 2, 1992 | 82 | 1992 |
Neural networks in the Clifford domain JK Pearson, DL Bisset Neural Networks, 1994. IEEE World Congress on Computational Intelligence …, 1994 | 80 | 1994 |
Constraints and universal algebra P Jeavons, D Cohen, J Pearson Annals of Mathematics and Artificial Intelligence 24 (1-4), 51-67, 1998 | 71 | 1998 |
Tractable symmetry breaking for CSPs with interchangeable values P Van Hentenryck, P Flener, J Pearson, M Agren INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE 18, 277-284, 2003 | 62 | 2003 |
Automatic Airspace Sectorisation: A Survey P Flener, J Pearson Contract 8 (1214447-C), 2012 | 48 | 2012 |
A constraint-based local search backend for MiniZinc G Björdal, JN Monette, P Flener, J Pearson Constraints 20 (3), 325-345, 2015 | 43 | 2015 |
Static and dynamic structural symmetry breaking P Flener, J Pearson, M Sellmann Annals of Mathematics and Artificial Intelligence 57 (1), 37, 2010 | 43* | 2010 |
On the reification of global constraints N Beldiceanu, M Carlsson, P Flener, J Pearson Constraints 18 (1), 1-6, 2013 | 38 | 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 | 37 | 2012 |
Symmetry in matrix models P Flener, AM Frisch, B Hnich, Z Kızıltan, I Miguel, J Pearson, T Walsh Proceedings of SymCon 1, 2001 | 37 | 2001 |
Static and dynamic structural symmetry breaking P Flener, J Pearson, M Sellmann, P Van Hentenryck International Conference on Principles and Practice of Constraint …, 2006 | 36 | 2006 |
Compositional derivation of symmetries for constraint satisfaction P Van Hentenryck, P Flener, J Pearson, M Ågren International Symposium on Abstraction, Reformulation, and Approximation …, 2005 | 33 | 2005 |