Abstract solvers for quantified Boolean formulas and their applications

DOI10.1007/978-3-319-24309-2_16zbMath1430.68288OpenAlexW2254161830MaRDI QIDQ2294081

Marco Maratea, Rémi Brochenin

Publication date: 10 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-319-24309-2_16

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)