Justin Pearson
Título
Citado por
Citado por
Año
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
2542006
Efficient timed reachability analysis using clock difference diagrams
G Behrmann, K Larsen, J Pearson, C Weise, W Yi
Computer Aided Verification, 682-682, 1999
1871999
Closure functions and width 1 problems
V Dalmau, J Pearson
International Conference on Principles and Practice of Constraint …, 1999
1201999
A survey of tractable constraint satisfaction problems
J Pearson, PG Jeavons
Technical Report CSD-TR-97-15, Royal Holloway, University of London, 1997
1131997
Clock difference diagrams
KG Larsen, J Pearson, C Weise, W Yi
Nordic Journal of Computing 6 (3), 271-298, 1999
1051999
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
932003
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
932003
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
932003
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
812007
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
81*2007
Constraints and universal algebra
P Jeavons, D Cohen, J Pearson
Annals of Mathematics and Artificial Intelligence 24 (1-4), 51-67, 1998
711998
Back propagation in a Clifford algebra
JK Pearson, DL Bisset
Artificial Neural Networks 2, 1992
591992
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
Neural networks in the Clifford domain
JK Pearson, DL Bisset
Neural Networks, 1994. IEEE World Congress on Computational Intelligence …, 1994
371994
Automatic Airspace Sectorisation: A Survey
P Flener, J Pearson
Contract 8 (1214447-C), 2012
362012
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
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
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
332001
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20