scientific article
From MaRDI portal
Publication:3429159
zbMath1116.68089MaRDI QIDQ3429159
Massimo Narizzano, Luca Pulina, Armando Tacchella
Publication date: 30 March 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
New models for generating hard random Boolean formulas and disjunctive logic programs ⋮ Validating QBF Validity in HOL4 ⋮ A self-adaptive multi-engine solver for quantified Boolean formulas ⋮ A solver for QBFs in negation normal form ⋮ Voting by eliminating quantifiers ⋮ Encoding deductive argumentation in quantified Boolean formulae ⋮ Compressing BMC Encodings with QBF ⋮ CAQE and QuAbS: Abstraction Based QBF Solvers
Uses Software