sKizzo: A Suite to Evaluate and Certify QBFs

We present sKizzo, a system designed to evaluate and certify Quantified Boolean Formulas (QBFs) by means of propositional skolemization and symbolic reasoning.

• Type: Conference
• Year: 2005
• Where: CADE
• Authors: Marco Benedetti
• Keywords: Automated Reasoning, Boolean Formulas, CADE 2005