Quantifier shifting for quantified Boolean formulas revisited

DOI10.1007/978-3-031-63498-7_20MaRDI QIDQ7034856zbMATH OpenFDO

Authors Simone Heisinger, Maximilian Heisinger, Adrián Rebola-Pardo, Martina Seidl

Publication date 31 January 2025

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

quantified Boolean formulasnormal form transformationprenexing

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Quantifier shifting for quantified Boolean formulas revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7034856)