Submitter: Luca Pulina
Description: Devised by M. Narizzano, C. Peschiera, L. Pulina, and A. Tacchella, is a suite for QBF certification. It is comprised of QuBE-cert -- an extension of QuBE3.1 able to output certificates -- and CHECKER, a tool aimed at check QuBE-cert output.
Details are available in
Narizzano, M., Peschiera, C., Pulina, L., Tacchella, A.: Evaluating and certifying QBFs: A comparison of state-of-the-art tools. AI communications 22(4) (2009) 191210