Minion: a Fast and Scalable Constraint Solver

This talk is part of the MEMOCODE conference taking place at Microsoft Research, Cambridge on Monday 11th – Wednesday 13th July 2011.

Opens in a new tab

Date:

July 12, 2011

Speakers:

Christopher Jefferson

Affiliation:

University of St. Andrews

• Speakers

  • 

    Jeff Running