Evaluating and certifying QBFs: A comparison of state-of-the-art tools

DOI10.3233/AIC-2009-0468zbMath1186.68440MaRDI QIDQ3400890

Massimo Narizzano, Luca Pulina, Armando Tacchella, Claudia Peschiera

Publication date: 27 January 2010

Published in: AI Communications (Search for Journal in Brave)

zbMATH Keywords

automated reasoningdecision proceduresquantified Boolean formulas

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Solution validation and extraction for QBF preprocessing ⋮ Unified QBF certification and its applications ⋮ Validating QBF Validity in HOL4 ⋮ Proving Valid Quantified Boolean Formulas in HOL Light ⋮ Dual proof generation for quantified Boolean formulas with a BDD-based solver ⋮ The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• QuBE++
• Quaffle