sKizzo: A Suite to Evaluate and Certify QBFs

Automated Deduction – CADE-20 - Lecture Notes in Computer Science ◽

10.1007/11532231_27 ◽

2005 ◽

pp. 369-376 ◽

Cited By ~ 48

Author(s):

Marco Benedetti

Download Full-text