Small Resolution Proofs for QBF using Dependency Treewidth

From MaRDI portal
Publication:3304126

DOI10.4230/LIPIcs.STACS.2018.28zbMath1487.68135arXiv1711.02120OpenAlexW2963205836MaRDI QIDQ3304126

Robert Ganian, Sebastian Ordyniak, Eduard Eiben

Publication date: 5 August 2020

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




Related Items



Cites Work


This page was built for publication: Small Resolution Proofs for QBF using Dependency Treewidth