Minion: a Fast and Scalable Constraint Solver

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=YVbbNeM74lc


Duration: 55:03
614 views
7

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



Other Videos By Microsoft Research


2016-08-16Mobile Computing: Challenges and Opportunities
2016-08-16What YOU Can Do to Recruit and Retain Undergraduate Women for Your Computing Programs
2016-08-16Clone Detection via Structural Abstraction
2016-08-16Secure Computation with Sublinear Amortized Work
2016-08-16Fitting a Graph to Vector Data
2016-08-16Analytical Methods of Sound Field Synthesis: Theory and Applications
2016-08-16Using Extensions of Min-Entropy to Help with Key Agreement and Leakage Resilience
2016-08-16Presentation of 2011 Microsoft Research Faculty Fellowship Awards
2016-08-16Type-Directed Completion of Partial Expressions for API Discovery
2016-08-16Games for Learning in the 21st Century
2016-08-16Minion: a Fast and Scalable Constraint Solver
2016-08-16Beyond the Interface: Computing Transformed
2016-08-16Algebraic technique of classifying languages in families
2016-08-16Mini-course around Event-B and Rodin: hypervisor
2016-08-16Semantic Segmentation using Higher-Order Markov Random Fields
2016-08-16The percolation phase transition in the Hamming cube
2016-08-16Functional interfaces in higher-level synthesis
2016-08-16Principles of Humanoid Locomotion Control
2016-08-16Adaptive Graph-Based Algorithms for Online Semi-Supervised Learning & Conditional Anomaly Detection
2016-08-16Beyond the Phone: How to Rock Harder Using Azure
2016-08-16Learning causality from textual data


Tags:
microsoft research