Tracing and Explaining Execution of CLP(FD) Programs. - Magnus Ågren 002; Tamás Szeredi; Nicolas Beldiceanu; Mats Carlsson (WLPE, 2002)

Tractable Symmetry Breaking for CSPs with Interchangeable Values. - Pascal Van Hentenryck; Pierre Flener; Justin Pearson; Magnus Ågren 002 (IJCAI, 2003)

Introducing esra, a Relational Language for Modelling Combinatorial Problems. - Pierre Flener; Justin Pearson; Magnus Ågren 002 (LOPSTR, 2003)

Set Variables and Local Search. - Magnus Ågren 002 (CP, 2004)

Incremental Algorithms for Local Search from Existential Second-Order Logic. - Magnus Ågren 002; Pierre Flener; Justin Pearson (CP, 2005)

Set Variables and Local Search. - Magnus Ågren 002; Pierre Flener; Justin Pearson (CPAIOR, 2005)

Compositional Derivation of Symmetries for Constraint Satisfaction. - Pascal Van Hentenryck; Pierre Flener; Justin Pearson; Magnus Ågren 002 (SARA, 2005)

Inferring Variable Conflicts for Local Search. - Magnus Ågren 002; Pierre Flener; Justin Pearson (CP, 2006)

Generic Incremental Algorithms for Local Search. - Magnus Ågren 002; Pierre Flener; Justin Pearson (Constraints An Int. J., 2007)

Set Constraints for Local Search. - Magnus Ågren 002 (2007)

Memoisation for Constraint-Based Local Search. - Magnus Ågren 002 (CP, 2009)

Six Ways of Integrating Symmetries within Non-overlapping Constraints. - Magnus Ågren 002; Nicolas Beldiceanu; Mats Carlsson; Mohamed Sbihi; Charlotte Truchet; Stéphane Zampelli (CPAIOR, 2009)

Dynamic structural symmetry breaking for constraint satisfaction problems. - Pierre Flener; Justin Pearson; Meinolf Sellmann; Pascal Van Hentenryck; Magnus Ågren 002 (Constraints An Int. J., 2009)

Revisiting constraint-directed search. - Magnus Ågren 002; Pierre Flener; Justin Pearson (Inf. Comput., 2009)

Laser Cutting Path Planning Using CP. - Mikael Z. Lagerkvist; Martin Nordkvist; Magnus Rattfeldt (CP, 2013)

Half-checking propagators. - Mikael Zayenz Lagerkvist; Magnus Rattfeldt (CoRR, 2020)

The Work Task Variation Problem. - Mikael Z. Lagerkvist; Magnus Rattfeldt (CP, 2025)