Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
From MaRDI portal
Publication:2058378
DOI10.1007/s10703-021-00371-7WikidataQ113902759 ScholiaQ113902759MaRDI QIDQ2058378
Uwe Egly, Florian Lonsing, Martina Seidl, Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic
Publication date: 8 December 2021
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-021-00371-7
68-XX: Computer science
Uses Software