Symmetric blocking

DOI10.1016/j.tcs.2015.06.020zbMath1332.68200OpenAlexW4233754701MaRDI QIDQ897931

Ezequiel Orbe, Carlos Areces

Publication date: 8 December 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2015.06.020

zbMATH Keywords

symmetryevaluationblockingdetectionmodal logics

Mathematics Subject Classification ID

Related Items (1)

SYMMETRIES IN MODAL LOGICS

Uses Software

• TPTP
• QBFLIB
• FaCT++
• Spartacus
• HTab
• bliss
• HGen

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Short proofs for tricky formulas
• Isomorphism of graphs of bounded valence can be tested in polynomial time
• Tractability through symmetries in propositional calculus
• A benchmark method for the propositional modal logics K, KT, S4
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Dealing with Symmetries in Modal Tableaux
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• Optimizing description logic subsumption
• HTab: a Terminating Tableaux System for Hybrid Logic
• Hybrid Tableaux for the Difference Modality
• Exploiting Symmetry in SMT Problems
• Engineering an Efficient Canonical Labeling Tool for Large and Sparse Graphs
• SYMMETRIES IN MODAL LOGICS

This page was built for publication: Symmetric blocking