"Creating Industrial-Like SAT Instances by Clustering and Reconstruction - ..."

Sebastian Burg, Stephan Kottler, Michael Kaufmann (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics