Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Abstract is missing.