iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/sat/LampisMM18.xml
Michael Lampis Stefan Mengel Valia Mitsou QBF as an Alternative to Courcelle's Theorem. 235-252 2018 SAT https://doi.org/10.1007/978-3-319-94144-8_15 conf/sat/2018 db/conf/sat/sat2018.html#LampisMM18