Justin Pearson
TitleCited byYear
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
2482006
Efficient timed reachability analysis using clock difference diagrams
G Behrmann, K Larsen, J Pearson, C Weise, W Yi
Computer Aided Verification, 682-682, 1999
1851999
Closure functions and width 1 problems
V Dalmau, J Pearson
International Conference on Principles and Practice of Constraint …, 1999
1171999
A survey of tractable constraint satisfaction problems
J Pearson, PG Jeavons
Technical Report CSD-TR-97-15, Royal Holloway, University of London, 1997
1111997
Clock difference diagrams
KG Larsen, J Pearson, C Weise, W Yi
Nordic Journal of Computing 6 (3), 271-298, 1999
1031999
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
912003
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
912003
Introducing ESRA, a relational language for modelling combinatorial problems
P Flener, J Pearson, M Ågren
Proceedings of the Second International Workshop on Modelling and …, 2003
912003
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
762007
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
76*2007
Constraints and universal algebra
P Jeavons, D Cohen, J Pearson
Annals of Mathematics and Artificial Intelligence 24 (1-4), 51-67, 1998
701998
Back propagation in a Clifford algebra
JK Pearson, DL Bisset
Artificial Neural Networks 2, 1992
531992
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
522003
Static and dynamic structural symmetry breaking
P Flener, J Pearson, M Sellmann
Annals of Mathematics and Artificial Intelligence 57 (1), 37, 2010
39*2010
Static and dynamic structural symmetry breaking
P Flener, J Pearson, M Sellmann, P Van Hentenryck
International Conference on Principles and Practice of Constraint …, 2006
352006
Automatic Airspace Sectorisation: A Survey
P Flener, J Pearson
Contract 8 (1214447-C), 2012
342012
A constraint-based local search backend for MiniZinc
G Björdal, JN Monette, P Flener, J Pearson
Constraints 20 (3), 325-345, 2015
332015
On the reification of global constraints
N Beldiceanu, M Carlsson, P Flener, J Pearson
Constraints 18 (1), 1-6, 2013
332013
Neural networks in the Clifford domain
JK Pearson, DL Bisset
Neural Networks, 1994. IEEE World Congress on Computational Intelligence …, 1994
331994
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
322001
The system can't perform the operation now. Try again later.
Articles 1–20