Magnus Ågren

Publication Activity (10 Years)

Years Active: 2002-2009
Publications (10 Years): 0

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren
Dynamic structural symmetry breaking for constraint satisfaction problems. Constraints An Int. J. 14 (4) (2009)
Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli
Six Ways of Integrating Symmetries within Non-overlapping Constraints. CPAIOR (2009)
Magnus Ågren
Memoisation for Constraint-Based Local Search. CP (2009)
Magnus Ågren, Pierre Flener, Justin Pearson
Revisiting constraint-directed search. Inf. Comput. 207 (3) (2009)
Magnus Ågren, Pierre Flener, Justin Pearson
Generic Incremental Algorithms for Local Search. Constraints An Int. J. 12 (3) (2007)
Magnus Ågren, Pierre Flener, Justin Pearson
Inferring Variable Conflicts for Local Search. CP (2006)
Magnus Ågren, Pierre Flener, Justin Pearson
Set Variables and Local Search. CPAIOR (2005)
Magnus Ågren, Pierre Flener, Justin Pearson
Incremental Algorithms for Local Search from Existential Second-Order Logic. CP (2005)
Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
Compositional Derivation of Symmetries for Constraint Satisfaction. SARA (2005)
Magnus Ågren
Set Variables and Local Search. CP (2004)
Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
Tractable Symmetry Breaking for CSPs with Interchangeable Values. IJCAI (2003)
Pierre Flener, Justin Pearson, Magnus Ågren
Introducing esra, a Relational Language for Modelling Combinatorial Problems. LOPSTR (2003)
Pierre Flener, Justin Pearson, Magnus Ågren
Introducing ESRA, a Relational Language for Modelling Combinatorial Problems. CP (2003)
Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson
Tracing and Explaining Execution of CLP(FD) Programs. WLPE (2002)

Magnus Ågren.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Magnus Ågren