scientific article
From MaRDI portal
Publication:3566747
zbMath1191.68626MaRDI QIDQ3566747
Publication date: 10 June 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (9)
Preprocessing for DQBF ⋮ Long-distance Q-resolution with dependency schemes ⋮ Soundness of \(\mathcal{Q}\)-resolution with dependency schemes ⋮ Henkin quantifiers and Boolean formulae: a certification perspective of DQBF ⋮ Dependency Schemes for DQBF ⋮ Long Distance Q-Resolution with Dependency Schemes ⋮ Expansion-based QBF solving versus Q-resolution ⋮ The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 ⋮ Solving QBF with counterexample guided refinement
This page was built for publication:
