Folgen
Justin Pearson
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, 187-192, 2006
2712006
Efficient timed reachability analysis using clock difference diagrams
G Behrmann, K Larsen, J Pearson, C Weise, W Yi
Computer Aided Verification, 682-682, 1999
1931999
Closure functions and width 1 problems
V Dalmau, J Pearson
International Conference on Principles and Practice of Constraint …, 1999
1261999
A survey of tractable constraint satisfaction problems
J Pearson, PG Jeavons
Technical Report CSD-TR-97-15, Royal Holloway, University of London, 1997
1231997
Clock difference diagrams
KG Larsen, J Pearson, C Weise, W Yi
Nordic Journal of Computing 6 (3), 271-298, 1999
1151999
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
962003
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
962003
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
962003
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
902007
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
90*2007
Constraints and universal algebra
P Jeavons, D Cohen, J Pearson
Annals of Mathematics and Artificial Intelligence 24 (1-4), 51-67, 1998
761998
Back propagation in a Clifford algebra
JK Pearson, DL Bisset
Artificial Neural Networks 2, 1992
761992
Neural networks in the Clifford domain
JK Pearson, DL Bisset
Neural Networks, 1994. IEEE World Congress on Computational Intelligence …, 1994
631994
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
Automatic Airspace Sectorisation: A Survey
P Flener, J Pearson
Contract 8 (1214447-C), 2012
422012
A constraint-based local search backend for MiniZinc
G Björdal, JN Monette, P Flener, J Pearson
Constraints 20 (3), 325-345, 2015
412015
Static and dynamic structural symmetry breaking
P Flener, J Pearson, M Sellmann
Annals of Mathematics and Artificial Intelligence 57 (1), 37, 2010
41*2010
On the reification of global constraints
N Beldiceanu, M Carlsson, P Flener, J Pearson
Constraints 18 (1), 1-6, 2013
382013
Static and dynamic structural symmetry breaking
P Flener, J Pearson, M Sellmann, P Van Hentenryck
International Conference on Principles and Practice of Constraint …, 2006
372006
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
352001
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20