×

zbMATH — the first resource for mathematics

Does treewidth help in modal satisfiability? (English) Zbl 1354.68133

MSC:
68Q25 Analysis of algorithms and problem complexity
03B45 Modal logic (including the logic of norms)
68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
PDF BibTeX XML Cite
Full Text: DOI