On the proof complexity of MCSAT

Kremer, Gereon; Ábrahám, Erika; Ganesh, Vijay

(2021)
Preprint

Identifier