Does treewidth help in modal satisfiability (2010)

by M Praveen
Venue:Mathematical Foundations of Computer Science 2010, volume 6281 of Lecture Notes in Computer Science