Symmetries of quantified Boolean formulas
From MaRDI portal
Publication:1656578
DOI10.1007/978-3-319-94144-8_13OpenAlexW2962699431MaRDI QIDQ1656578
Publication date: 10 August 2018
Full work available at URL: https://arxiv.org/abs/1802.03993
Related Items (3)
Never trust your solver: certification for SAT and QBF ⋮ Short proofs for some symmetric quantified Boolean formulas ⋮ QBFFam: a tool for generating QBF families from proof complexity
This page was built for publication: Symmetries of quantified Boolean formulas
