Publications

Article

Flener, Pierre and Pearson, Justin and Sellmann, Meinolf and Van Hentenryck, Pascal and Ågren, Magnus (2009) Dynamic structural symmetry breaking for constraint satisfaction problems. Constraints, 14 (4). pp. 506-538. ISSN 1383-7133 (Print) 1572-9354 (Online)

Ågren, Magnus and Flener, Pierre and Pearson, Justin (2009) Revisiting constraint-directed search. Information and Computation, 207 (3). pp. 438-457.

Flener, Pierre and Pearson, Justin and Ågren, Magnus and Garcia Avello, Carlos and Çeliktin, Mete and Dissing, Søren (2007) Air-traffic complexity resolution in multi-sector planning. Journal of Air Transport Management, 13 (6). pp. 323-328.

Ågren, Magnus and Flener, Pierre and Pearson, Justin (2007) Generic incremental algorithms for local search. Constraints, 12 (3). pp. 293-324.

Book

Bohlin, Markus and Pearson, Justin and Ågren, Magnus, eds. (2004) Proceedings of LSCS'04, the 1st International Workshop on Local Search Techniques in Constraint Satisfaction. Published in conjunction with CP2004.

Conference or Workshop Item

Ågren, Magnus (2009) Memoisation for constraint-based local search. In: CP 2009, 21-24 Sep 2009, Lisbon, Portugal.

Ågren, Magnus and Beldiceanu, Nicolas and Carlsson, Mats and Sbihi, Mohamed and Truchet, Charlotte and Zampelli, Stéphane (2009) Six ways of integrating symmetries within non-overlapping constraints. In: CP-AI-OR 2009, 27-31 May 2009, Pittsburgh, Pennsylvania, USA.

Flener, Pierre and Pearson, Justin and Ågren, Magnus and Garcia Avello, Carlos and Çeliktin, Mete and Dissing, Søren (2007) Air-traffic complexity resolution in multi-sector planning using constraint programming. In: Proceedings of ATM'07: the 7th USA/Europe R&D Seminar on Air Traffic Management, 2-5 July 2007, Barcelona, Spain.

Flener, Pierre and Pearson, Justin and Sellmann, Meinolf and Van Hentenryck, Pascal and Ågren, Magnus (2007) Efficient structural symmetry breaking for constraint satisfaction problems. In: Proceedings of the International Symmetry Conference, 14-17 Jan 2007, Edinburgh, UK.

Ågren, Magnus and Flener, Pierre and Pearson, Justin (2007) Revisiting constraint-directed search. In: Proceedings of LSCS'07, the 4th International Workshop on Local Search Techniques in Constraint Satisfaction, 23 Sept 2007, Providence, Rhode Island, USA.

Ågren, Magnus and Flener, Pierre and Pearson, Justin (2006) Inferring variable conflicts for local search. In: Proceedings of CP'06, 24-29 Sept 2006, Nantes, France.

Van Hentenryck, Pascal and Flener, Pierre and Pearson, Justin and Ågren, Magnus (2005) Compositional derivation of symmetries for constraint satisfaction. In: Proceedings of SARA'05, 26-29, 2005, Edinburgh, UK.

Ågren, Magnus and Flener, Pierre and Pearson, Justin (2005) Incremental algorithms for local search from existential second-order logic. In: Proceedings of CP'05, 1-5 Oct 2005, Sitges (Barcelona), Spain.

Ågren, Magnus and Flener, Pierre and Pearson, Justin (2005) Set variables and local search. In: Proceedings of CP-AI-OR'05, 29 May - 1 June 2005, Prague, Czech Republic.

Flener, Pierre and Pearson, Justin and Ågren, Magnus (2004) Introducing ESRA, a relational language for modelling combinatorial problems. In: Proceedings of LOPSTR'03: Revised Selected Papers, 25-27 August 2003, Uppsala, Sweden.

Flener, Pierre and Pearson, Justin and Ågren, Magnus (2003) Introducing ESRA, a relational language for modelling combinatorial problems. In: Proceedings of the 2nd International Workshop on Modelling and Reformulating CSPs, 29 Sept 2003, Kinsdale, County Cork, Ireland.

Van Hentenryck, Pascal and Flener, Pierre and Pearson, Justin and Ågren, Magnus (2003) Tractable symmetry breaking for CSPs with interchangeable values. In: Proceedings of IJCAI'03, 9-15 Aug 2003, Acapulco, Mexico.

Ågren, Magnus and Szeredi, Tamas and Beldiceanu, Nicolas and Carlsson, Mats (2002) Tracing and explaining execution of CLP(FD) programs. In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, 31 July 2002, Copenhagen, Denmark.

Other

Flener, Pierre and Pearson, Justin and Ågren, Magnus (2004) The Syntax, Semantics, and Type System of ESRA. ASTRA Research Group.

SICS Report

Ågren, Magnus and Beldiceanu, Nicolas and Carlsson, Mats and Sbihi, Mohamed and Truchet, Charlotte and Zampelli, Stéphane (2009) Six ways of integrating symmetries within non-overlapping constraints. [SICS Report]

Ågren, Magnus (2002) Tracing and Explaining the Execution of CLP(FD) Programs in SICStus Prolog. [SICS Report]

Thesis

Ågren, Magnus (2007) Set Constraints for Local Search. Doctoral thesis, Uppsala University.

Ågren, Magnus (2005) High-Level Modelling and Local Search. Licentiate thesis, Uppsala University.

Ågren, Magnus (2002) Tracing and Explaining the Execution of CLP(FD) Programs in SICStus Prolog. Masters thesis, Uppsala University.