dblp.uni-trier.dewww.uni-trier.de

Magnus Ågren Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
15EEMagnus Ågren: Memoisation for Constraint-Based Local Search. CP 2009: 119-126
14EEMagnus Å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
13EEPierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren: Dynamic structural symmetry breaking for constraint satisfaction problems. Constraints 14(4): 506-538 (2009)
12EEMagnus Ågren, Pierre Flener, Justin Pearson: Revisiting constraint-directed search. Inf. Comput. 207(3): 438-457 (2009)
2007
11EEMagnus Ågren, Pierre Flener, Justin Pearson: Generic Incremental Algorithms for Local Search. Constraints 12(3): 293-324 (2007)
2006
10EEMagnus Ågren, Pierre Flener, Justin Pearson: Inferring Variable Conflicts for Local Search. CP 2006: 665-669
2005
9EEMagnus Ågren, Pierre Flener, Justin Pearson: Incremental Algorithms for Local Search from Existential Second-Order Logic. CP 2005: 47-61
8EEMagnus Ågren, Pierre Flener, Justin Pearson: Set Variables and Local Search. CPAIOR 2005: 19-33
7EEPascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren: Compositional Derivation of Symmetries for Constraint Satisfaction. SARA 2005: 234-247
2004
6EEMagnus Ågren: Set Variables and Local Search. CP 2004: 788
2003
5EEPierre 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
3EEPierre Flener, Justin Pearson, Magnus Ågren: Introducing esra, a Relational Language for Modelling Combinatorial Problems. LOPSTR 2003: 214-232
2002
2EEMagnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson: Tracing and Explaining Execution of CLP(FD) Programs. WLPE 2002: 1-16
1EEMagnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson: Tracing and Explaining Execution of CLP(FD) Programs CoRR cs.SE/0207047: (2002)

Coauthor Index

1Nicolas Beldiceanu [1] [2] [14]
2Mats Carlsson [1] [2] [14]
3Pierre Flener [3] [4] [5] [7] [8] [9] [10] [11] [12] [13]
4Pascal Van Hentenryck [4] [7] [13]
5Justin Pearson [3] [4] [5] [7] [8] [9] [10] [11] [12] [13]
6Mohamed Sbihi [14]
7Meinolf Sellmann [13]
8Tamás Szeredi [1] [2]
9Charlotte Truchet [14]
10Stéphane Zampelli [14]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)