Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/sat/LampisMM18
AU - Lampis, Michael
AU - Mengel, Stefan
AU - Mitsou, Valia
TI - QBF as an Alternative to Courcelle's Theorem.
BT - Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
SP - 235
EP - 252
PY - 2018//
DO - 10.1007/978-3-319-94144-8_15
UR - https://doi.org/10.1007/978-3-319-94144-8_15
ER -
