Massimo Narizzano, Claudia Peschiera, Luca Pulina, Armando Tacchella. Evaluating and certifying QBFs: A comparison of state-of-the-art tools. AI Commun., 22(4):191-210, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.