Evaluating and Certifying QBFs: a comparison of state-of-the-art tools

Academic Article

Publication Date:

2009

Short description:

Evaluating and Certifying QBFs: a comparison of state-of-the-art tools / Narizzano, M., Peschiera, C., Pulina, L., Tacchella, A.. - In: AI COMMUNICATIONS. - ISSN 0921-7126. - 22:4(2009), pp. 191-210. [10.3233/AIC-2009-0468]

Iris type:

1.1 Articolo in rivista

List of contributors:

Narizzano, M; Peschiera, C; Pulina, Luca; Tacchella, A.

Authors of the University:

PULINA Luca

Handle:

https://iris.uniss.it/handle/11388/50270

Published in:

AI COMMUNICATIONS

Journal