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