Sebastian Burg Stephan Kottler Michael Kaufmann Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation). 471-472 2012 SAT http://dx.doi.org/10.1007/978-3-642-31612-8_40 conf/sat/2012 db/conf/sat/sat2012.html#BurgKK12