Follow
Magnus Rattfeldt
Magnus Rattfeldt
optischedule.ai
Verified email at rattfeldt.se
Title
Cited by
Cited by
Year
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
992007
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
992003
Compositional derivation of symmetries for constraint satisfaction
P Van Hentenryck, P Flener, J Pearson, M Ågren
Abstraction, Reformulation and Approximation: 6th International Symposium …, 2005
342005
Dynamic structural symmetry breaking for constraint satisfaction problems
P Flener, J Pearson, M Sellmann, P Van Hentenryck, M Ågren
Constraints 14, 506-538, 2009
292009
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
162009
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
112005
Set variables and local search
M Ågren, P Flener, J Pearson
Integration of AI and OR Techniques in Constraint Programming for …, 2005
112005
Revisiting constraint-directed search
M Ågren, P Flener, J Pearson
Information and Computation 207 (3), 438-457, 2009
102009
Laser cutting path planning using CP
MZ Lagerkvist, M Nordkvist, M Rattfeldt
International Conference on Principles and Practice of Constraint …, 2013
82013
Generic incremental algorithms for local search
M Ågren, P Flener, J Pearson
Constraints 12, 293-324, 2007
82007
Set Constraints for Local Search
M Ågren
Acta Universitatis Upsaliensis, 2007
82007
Tracing and explaining the execution of clp (fd) programs in sicstus prolog
M Ågren
Swedish Institute of Computer Science, 2002
82002
Inferring variable conflicts for local search
M Ågren, P Flener, J Pearson
Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006
72006
On constraint-oriented neighbours for local search
M Ågren, P Flener, J Pearson
Technical Report 2007-009, Department of Information Technology, Uppsala …, 2007
42007
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
32003
Efficient structural symmetry breaking for constraint satisfaction problems
P Flener, J Pearson, M Sellmann, P Van Hentenryck, M Ågren
International Symmetry Conference, 14-17 Jan 2007, Edinburgh, UK, 2007
22007
Efficient structural symmetry breaking for constraint satisfaction problems
P Flener, J Pearson, M Sellmann, P Van Hentenryck, M Ågren
International Symmetry Conference, 14-17 Jan 2007, Edinburgh, UK, 2007
22007
Half-checking propagators
MZ Lagerkvist, M Rattfeldt
arXiv preprint arXiv:2007.05423, 2020
12020
Inferring Variable Conflicts for Local Search from High-Level Models
M Ågren, P Flener, J Pearson
Technical Report 2006-005, Department of Information Technology, Uppsala …, 2006
12006
Set variables and local search
M Ågren
Principles and Practice of Constraint Programming–CP 2004: 10th …, 2004
12004
The system can't perform the operation now. Try again later.
Articles 1–20