QBF as an alternative to Courcelle's theorem

DOI10.1007/978-3-319-94144-8_15OpenAlexW2805010798MaRDI QIDQ1656581

Stefan Mengel, Michael Lampis, Valia Mitsou

Publication date: 10 August 2018

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Parameterized complexity, tractability and kernelization (68Q27)

Related Items

Unnamed Item ⋮ Default logic and bounded treewidth