Adrian Balint, Anton Belov, Matti Järvisalo, Carsten Sinz. Overview and analysis of the SAT Challenge 2012 solver competition. Artificial Intelligence, 223:120-155, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.