 | 2009 |
| 15 |  | Magnus Ågren:
Memoisation for Constraint-Based Local Search.
CP 2009: 119-126 |
| 14 |  | Magnus Ågren,
Nicolas Beldiceanu,
Mats Carlsson,
Mohamed Sbihi,
Charlotte Truchet,
Stéphane Zampelli:
Six Ways of Integrating Symmetries within Non-overlapping Constraints.
CPAIOR 2009: 11-25 |
| 13 |  | Pierre Flener,
Justin Pearson,
Meinolf Sellmann,
Pascal Van Hentenryck,
Magnus Ågren:
Dynamic structural symmetry breaking for constraint satisfaction problems.
Constraints 14(4): 506-538 (2009) |
| 12 |  | Magnus Ågren,
Pierre Flener,
Justin Pearson:
Revisiting constraint-directed search.
Inf. Comput. 207(3): 438-457 (2009) |
| 2007 |
| 11 |  | Magnus Ågren,
Pierre Flener,
Justin Pearson:
Generic Incremental Algorithms for Local Search.
Constraints 12(3): 293-324 (2007) |
| 2006 |
| 10 |  | Magnus Ågren,
Pierre Flener,
Justin Pearson:
Inferring Variable Conflicts for Local Search.
CP 2006: 665-669 |
| 2005 |
| 9 |  | Magnus Ågren,
Pierre Flener,
Justin Pearson:
Incremental Algorithms for Local Search from Existential Second-Order Logic.
CP 2005: 47-61 |
| 8 |  | Magnus Ågren,
Pierre Flener,
Justin Pearson:
Set Variables and Local Search.
CPAIOR 2005: 19-33 |
| 7 |  | Pascal Van Hentenryck,
Pierre Flener,
Justin Pearson,
Magnus Ågren:
Compositional Derivation of Symmetries for Constraint Satisfaction.
SARA 2005: 234-247 |
| 2004 |
| 6 |  | Magnus Ågren:
Set Variables and Local Search.
CP 2004: 788 |
| 2003 |
| 5 |  | Pierre Flener,
Justin Pearson,
Magnus Ågren:
Introducing ESRA, a Relational Language for Modelling Combinatorial Problems.
CP 2003: 971 |
| 4 |  | Pascal Van Hentenryck,
Pierre Flener,
Justin Pearson,
Magnus Ågren:
Tractable Symmetry Breaking for CSPs with Interchangeable Values.
IJCAI 2003: 277-284 |
| 3 |  | Pierre Flener,
Justin Pearson,
Magnus Ågren:
Introducing esra, a Relational Language for Modelling Combinatorial Problems.
LOPSTR 2003: 214-232 |
| 2002 |
| 2 |  | Magnus Ågren,
Tamás Szeredi,
Nicolas Beldiceanu,
Mats Carlsson:
Tracing and Explaining Execution of CLP(FD) Programs.
WLPE 2002: 1-16 |
| 1 |  | Magnus Ågren,
Tamás Szeredi,
Nicolas Beldiceanu,
Mats Carlsson:
Tracing and Explaining Execution of CLP(FD) Programs
CoRR cs.SE/0207047: (2002) |