Magnus Ågren

Available identifiers

zbMath Open agren.magnusMaRDI QIDQ1013088

List of research outcomes

Publication	Date of Publication	Type
Dynamic structural symmetry breaking for constraint satisfaction problems	2009-11-16	Paper
Six Ways of Integrating Symmetries within Non-overlapping Constraints	2009-06-03	Paper
Revisiting constraint-directed search	2009-04-16	Paper
Incremental Algorithms for Local Search from Existential Second-Order Logic	2008-09-09	Paper
Inferring Variable Conflicts for Local Search	2008-09-09	Paper
Set Variables and Local Search	2008-03-17	Paper
Generic incremental algorithms for local search	2007-10-11	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper

Research outcomes over time

This page was built for person: Magnus Ågren