Overview and analysis of the SAT Challenge 2012 solver competition.

Adrian Balint Anton Belov Matti Järvisalo Carsten Sinz

Published in: Artif. Intell. (2015)

Keyphrases

real time
statistical analysis
quantitative analysis
machine learning