Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Events
  3. Verification Seminars
  4. Stochastic SAT Modulo Theory - from Systematic Search over Randomized Exploration to a Hybrid Calculus

Stochastic SAT Modulo Theory - from Systematic Search over Randomized Exploration to a Hybrid Calculus

Martin Fraenzle ( Carl von Ossietzky Universität Oldenburg )
  • 5Jun
    11:30 5th June 2013 ( week 7, Trinity Term 2013 )
    051

 

 

Share this:

Seminar Series

See also

Coordinators

News & Events

Back to Top