Magnus Ågren
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Dynamic structural symmetry breaking for constraint satisfaction problems Constraints | 2009-11-16 | Paper |
| Six Ways of Integrating Symmetries within Non-overlapping Constraints Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2009-06-03 | Paper |
| Revisiting constraint-directed search Information and Computation | 2009-04-16 | Paper |
| Incremental Algorithms for Local Search from Existential Second-Order Logic Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
| Inferring Variable Conflicts for Local Search Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
| Set Variables and Local Search Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-03-17 | Paper |
| Generic incremental algorithms for local search Constraints | 2007-10-11 | Paper |
| Logic Based Program Synthesis and Transformation Lecture Notes in Computer Science | 2005-12-27 | Paper |
Research outcomes over time
This page was built for person: Magnus Ågren
