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 | 103 | 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 | 100 | 2003 |
Compositional derivation of symmetries for constraint satisfaction P Van Hentenryck, P Flener, J Pearson, M Ågren Abstraction, Reformulation and Approximation: 6th International Symposium …, 2005 | 33 | 2005 |
Dynamic structural symmetry breaking for constraint satisfaction problems P Flener, J Pearson, M Sellmann, P Van Hentenryck, M Ågren Constraints 14, 506-538, 2009 | 27 | 2009 |
Six ways of integrating symmetries within non-overlapping constraints M Ågren, N Beldiceanu, M Carlsson, M Sbihi, C Truchet, S Zampelli Integration of AI and OR Techniques in Constraint Programming for …, 2009 | 14 | 2009 |
Set variables and local search M Ågren, P Flener, J Pearson Integration of AI and OR Techniques in Constraint Programming for …, 2005 | 12 | 2005 |
Incremental algorithms for local search from existential second-order logic M Ågren, P Flener, J Pearson International Conference on Principles and Practice of Constraint …, 2005 | 11 | 2005 |
Revisiting constraint-directed search M Ågren, P Flener, J Pearson Information and Computation 207 (3), 438-457, 2009 | 10 | 2009 |
Laser cutting path planning using CP MZ Lagerkvist, M Nordkvist, M Rattfeldt International Conference on Principles and Practice of Constraint …, 2013 | 8 | 2013 |
Generic incremental algorithms for local search M Ågren, P Flener, J Pearson Constraints 12, 293-324, 2007 | 8 | 2007 |
Set Constraints for Local Search M Ågren Acta Universitatis Upsaliensis, 2007 | 8 | 2007 |
Tracing and explaining the execution of clp (fd) programs in sicstus prolog M Ågren Swedish Institute of Computer Science, 2002 | 8 | 2002 |
Inferring variable conflicts for local search M Ågren, P Flener, J Pearson Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006 | 7 | 2006 |
On constraint-oriented neighbours for local search M Ågren, P Flener, J Pearson Department of Information Technology, Uppsala University, 2007 | 4 | 2007 |
The syntax, semantics, and type system of ESRA P Flener, J Pearson, M Ågren Technical report, ASTRA group, April 2003. Available at http://www. it. uu …, 2003 | 3 | 2003 |
Half-checking propagators MZ Lagerkvist, M Rattfeldt arXiv preprint arXiv:2007.05423, 2020 | 2 | 2020 |
Structural symmetry breaking for constraint satisfaction problems P Flener, J Pearson, M Sellmann, P Van Hentenryck, M Ågren Department of Information Technology, Uppsala University, 2007 | 2 | 2007 |
Set variables and local search M Ågren Department of Information Technology, Uppsala University, 2004 | 2 | 2004 |
Inferring Variable Conflicts for Local Search from High-Level Models M Ågren, P Flener, J Pearson Department of Information Technology, Uppsala University, 2006 | 1 | 2006 |
Memoisation for constraint-based local search M Ågren Principles and Practice of Constraint Programming-CP 2009: 15th …, 2009 | | 2009 |