Marco Benedetti sKizzo: A Suite to Evaluate and Certify QBFs. 369-376 2005 conf/cade/2005 CADE http://dx.doi.org/10.1007/11532231_27 db/conf/cade/cade2005.html#Benedetti05