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