Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications

DOI10.1007/978-3-319-94144-8_1MaRDI QIDQ5889312

Ralf Wimmer, Christoph Scholl

Publication date: 20 April 2023

Published in: Theory and Applications of Satisfiability Testing – SAT 2018 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-94144-8_1

Mathematics Subject Classification ID

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

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