Minion: a Fast and Scalable Constraint Solver
- Christopher Jefferson | University of St. Andrews
This talk is part of the MEMOCODE conference taking place at Microsoft Research, Cambridge on Monday 11th – Wednesday 13th July 2011.
-
-
Jeff Running
-
Watch Next
-
Dion2: A new simple method to shrink matrix in Muon
- Anson Ho,
- Kwangjun Ahn
-
-
-
-
-
-
Beyond Swahili: Designing Inclusive AI for Bantu Languages
- Alfred Malengo Kondoro
-
-
-
GeoMind: A Multi-Agent Framework for Geospatial Decision Support
- Muhammad Sohail Danish