Overview and analysis of the SAT Challenge 2012 solver competition
-
Author:
Adrian Balint, Anton Belov, Matti Järvisalo, Carsten Sinz
-
Source:
Artificial Intelligence, Volume 223: 120-155