Bas Schaafsma

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Bas Schaafsma, Marijn Heule, Hans van Maaren
Dynamic Symmetry Breaking by Simulating Zykov Contraction. SAT (2009)