Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation).

Sebastian Burg, Stephan Kottler, Michael Kaufmann

Browse the full SAT paper archive.