Minion: a Fast and Scalable Constraint Solver

July 12, 2011
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
March 3, 2026
Anson Ho,

Kwangjun Ahn
ARO: A new lens on matrix optimization for LLMs
March 3, 2026
Anson Ho,

Wenbo Gong,

Chao Ma
Lessons from deploying HealthBots with experts-in-the-loop
March 3, 2026
Anson Ho,

Mohit Jain
Teaching small language models to think like optimization experts with OptiMind
March 3, 2026
Anson Ho,

Xinzhi Zhang
Agent Lightning: One learning system that makes all agents evolve
March 3, 2026
Anson Ho,

Luna K. Qiu
Magentic Marketplace: Testing societies of agents at scale
March 3, 2026
Gagan Bansal,

Anson Ho
Beyond Swahili: Designing Inclusive AI for Bantu Languages
February 17, 2026
Alfred Malengo Kondoro
Bridging Neurotechnology with Immersive Systems: Getting BCIs outside of the lab?
February 12, 2026
Hakim Si-Mohammed
Hardware Realization and Implementation Security Evaluation of HQC, A NIST PQC Standard
January 29, 2026
Sanjay Deshpande
GeoMind: A Multi-Agent Framework for Geospatial Decision Support
January 28, 2026
Muhammad Sohail Danish