The following pages link to Magnus Ågren (Q1013088):
Displaying 8 items.
- Revisiting constraint-directed search (Q1013089) (← links)
- Dynamic structural symmetry breaking for constraint satisfaction problems (Q1037643) (← links)
- Generic incremental algorithms for local search (Q2385177) (← links)
- Incremental Algorithms for Local Search from Existential Second-Order Logic (Q3524163) (← links)
- Inferring Variable Conflicts for Local Search (Q3524266) (← links)
- Six Ways of Integrating Symmetries within Non-overlapping Constraints (Q3630151) (← links)
- Set Variables and Local Search (Q5450919) (← links)
- Logic Based Program Synthesis and Transformation (Q5713943) (← links)
