skizzo_v0.5
| Submitter: | Marco Benedetti | ||
| Description: | Devised by Marco Benedetti, it is a reasoning engine for QBF featuring several techniques, including search, resolution and skolemization. | ||
| Results: | |||
| Submitter: | Marco Benedetti | ||
| Description: | Devised by Marco Benedetti, it is a reasoning engine for QBF featuring several techniques, including search, resolution and skolemization. | ||
| Results: | |||