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: | |||