![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Marijn Heule, U. of Texas, Austin.
Thursday 02 August 2012, 11:00-12:00
Primrose Room, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge
Contact: No managers listed
0 upcoming talks View 4 archived talks
Microsoft Research Cambridge, public talks
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Efficient Cryptography for the Next Generation Secure Cloud
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Mathematical modelling on remotely-sensed dynamics of marine primary producers
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Covering problems arising in Gamma Knife radiosurgery
⚠️ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Please see above for contact details for this list.