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