QBFcert

Mathias Preiner
Research Scientist

Talks

Scalable Certificate Extraction for QBF