depqbf-cert-v1
| Submitter: | Florian Lonsing | ||
| Description: | Devised by F. Lonsing, is an extension of the depqbf solver able to certify unsatisfiable QBFs. | ||
| Results: | |||
| Submitter: | Florian Lonsing | ||
| Description: | Devised by F. Lonsing, is an extension of the depqbf solver able to certify unsatisfiable QBFs. | ||
| Results: | |||