skizzo_v0.4
Submitter: | Marco Benedetti | ||
Description: | Devised by Marco Benedetti, it is a reasoning engine for QBF featuring several techniques, including search, resolution and skolemization.[ M. Benedetti. sKizzo a Suite to Evaluate and Certify QBFs. In 20th Int.l. Conference on Automated Deduction, volume 3632 of Lecture Notes in Computer Science. Springer Verlag, 2005.] | ||
Results: | |||