Bas Schaafsma

发表

Marijn J. H. Heule, Hans van Maaren, Marijn Heule, 2009, SAT.