TY  - RPRT
TI  - Does Treewidth Help in Modal Satisfiability?
AU  - M. Praveen
PY  - 2011
DO  - 10.1007/978-3-642-15155-2_51
UR  - https://arxiv.org/abs/1006.2461
ID  - 1006.2461
ER  -