Does Treewidth Help in Modal Satisfiability?

DOI10.1007/978-3-642-15155-2_51zbMATH Open1287.68080OpenAlexW2996936341MaRDI QIDQ5901156

M. Praveen

Publication date: 3 September 2010

Published in: Mathematical Foundations of Computer Science 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15155-2_51

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45)

Related Items (2)

Title not available (Why is that?) ⋮ Does Treewidth Help in Modal Satisfiability?

This page was built for publication: Does Treewidth Help in Modal Satisfiability?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5901156)