Pages that link to "Item:Q3400890"
From MaRDI portal
The following pages link to Evaluating and certifying QBFs: A comparison of state-of-the-art tools (Q3400890):
Displaying 8 items.
- Dual proof generation for quantified Boolean formulas with a BDD-based solver (Q2055876) (← links)
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) (Q2321317) (← links)
- Solution validation and extraction for QBF preprocessing (Q2362496) (← links)
- Unified QBF certification and its applications (Q2441712) (← links)
- Validating QBF Validity in HOL4 (Q3088005) (← links)
- Proving Valid Quantified Boolean Formulas in HOL Light (Q3088006) (← links)
- (Q4625701) (← links)
- (Q4625702) (← links)
