Variable Dependencies and Q-Resolution

DOI10.1007/978-3-319-09284-3_21zbMath1423.68426OpenAlexW2285200894MaRDI QIDQ3192076

Friedrich Slivovsky, Stefan Szeider

Publication date: 26 September 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09284-3_21

Mathematics Subject Classification ID

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

Related Items (4)

Quantifier reordering for QBF ⋮ On Stronger Calculi for QBFs ⋮ Lifting QBF Resolution Calculi to DQBF ⋮ Using decomposition-parameters for QBF: mind the prefix!

This page was built for publication: Variable Dependencies and Q-Resolution