Clausal abstraction for DQBF

DOI10.1007/978-3-030-24258-9_27zbMath1441.68241arXiv1808.08759MaRDI QIDQ2181947

Markus N. Rabe, Leander Tentrup

Publication date: 20 May 2020

Full work available at URL: https://arxiv.org/abs/1808.08759

Mathematics Subject Classification ID

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

68R07: Computational aspects of satisfiability

Related Items

dCAQE

Uses Software

• CAQE
• HQSpre
• BoSy