QBF as an alternative to Courcelle's theorem
type: Item
instance of: scholarly article
title: QBF as an alternative to Courcelle's theorem
DOI: 10.1007/978-3-319-94144-8_15
author: Michael Lampis
author: Stefan Mengel
author: Valia Mitsou
publication date: 2018-08-10T00:00:00Z
full work available at URL: https://arxiv.org/abs/1805.08456
Mathematics Subject Classification ID: 68Q27
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 6916310
MaRDI profile type: Publication
OpenAlex ID: W2805010798
Recommended article: On QBF Proofs and Preprocessing
Recommended article: On Stronger Calculi for QBFs
Recommended article: Proof complexity of symbolic QBF reasoning
Recommended article: A simple proof of QBF hardness
Recommended article: Characterising tree-like Frege proofs for QBF
Recommended article: QBF Resolution Systems and Their Proof Complexities
Recommended article: Theory and Applications of Satisfiability Testing
Recommended article: Shortening QBF proofs with dependency schemes
Recommended article: Q2954985
Recommended article: Solving QBF with counterexample guided refinement
description: scientific article; zbMATH DE number 6916310