Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sebastian Burg, Stephan Kottler, Michael Kaufmann. Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation). In Alessandro Cimatti, Roberto Sebastiani, editors, Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings. Volume 7317 of Lecture Notes in Computer Science, pages 471-472, Springer, 2012. [doi]

This author has not been identified. Look up 'Sebastian Burg' in GoogleThis author has not been identified. Look up 'Stephan Kottler' in GoogleThis author has not been identified. Look up 'Michael Kaufmann' in Google

runs on WebDSL