Magnus Rattfeldt

According to our database, Magnus Rattfeldt authored at least 16 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Half-checking propagators.

Mikael Zayenz Lagerkvist, Magnus Rattfeldt

CoRR, 2020

2013

Laser Cutting Path Planning Using CP.

Mikael Z. Lagerkvist, Martin Nordkvist, Magnus Rattfeldt

Proceedings of the Principles and Practice of Constraint Programming, 2013

2009

Revisiting constraint-directed search.

Magnus Ågren, Pierre Flener, Justin Pearson

Inf. Comput., 2009

Dynamic structural symmetry breaking for constraint satisfaction problems.

Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren

Constraints An Int. J., 2009

Six Ways of Integrating Symmetries within Non-overlapping Constraints.

Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

Memoisation for Constraint-Based Local Search.

Magnus Ågren

Proceedings of the Principles and Practice of Constraint Programming, 2009

2007

Set Constraints for Local Search.

Magnus Ågren

PhD thesis, 2007

Generic Incremental Algorithms for Local Search.

Magnus Ågren, Pierre Flener, Justin Pearson

Constraints An Int. J., 2007

2006

Inferring Variable Conflicts for Local Search.

Magnus Ågren, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Compositional Derivation of Symmetries for Constraint Satisfaction.

Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren

Proceedings of the Abstraction, 2005

Set Variables and Local Search.

Magnus Ågren, Pierre Flener, Justin Pearson

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Incremental Algorithms for Local Search from Existential Second-Order Logic.

Magnus Ågren, Pierre Flener, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Set Variables and Local Search.

Magnus Ågren

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Introducing esra, a Relational Language for Modelling Combinatorial Problems.

Pierre Flener, Justin Pearson, Magnus Ågren

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

Tractable Symmetry Breaking for CSPs with Interchangeable Values.

Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren

Proceedings of the IJCAI-03, 2003

2002

Tracing and Explaining Execution of CLP(FD) Programs.

Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson

Proceedings of the 12th International Workshop on Logic Programming Environments, 2002