Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications
From MaRDI portal
Publication:5889312
DOI10.1007/978-3-319-94144-8_1OpenAlexW2810932144MaRDI QIDQ5889312
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
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (3)
A resolution proof system for dependency stochastic Boolean satisfiability ⋮ Unnamed Item ⋮ DQBDD: an efficient BDD-based DQBF solver
This page was built for publication: Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications
