Overview and Analysis of the SAT Challenge 2012 Solver Competition Adrian Balinta,1 , Anton Belovb,2 , Matti Järvisaloc,3,∗, Carsten Sinzd,4 a Institute of Theoretical Computer Science, Ulm University, Germany. Email:

First Page		Document Content
Date: 2015-01-20 15:12:14		Overview and Analysis of the SAT Challenge 2012 Solver Competition Adrian Balinta,1 , Anton Belovb,2 , Matti Järvisaloc,3,∗, Carsten Sinzd,4 a Institute of Theoretical Computer Science, Ulm University, Germany. Email: Add to Reading List Source URL: www.cs.helsinki.fi Download Document from Source Website File Size: 1,13 MB Share Document on Facebook