Skip to main content

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

Martin Fraenzle ( Carl von Ossietzky Universit├Ąt Oldenburg )

Share this: