Symmetric blocking (Q897931): Difference between revisions

@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Spartacus
@@ Property / describes a project that uses: Spartacus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QBFLIB
@@ Property / describes a project that uses: QBFLIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FaCT++
@@ Property / describes a project that uses: FaCT++ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HTab
@@ Property / describes a project that uses: HTab / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HGen
@@ Property / describes a project that uses: HGen / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2015.06.020
+Normal rank
@@ Property / OpenAlex ID @@
+W4233754701
@@ Property / OpenAlex ID: W4233754701 / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs for tricky formulas
@@ Property / cites work: Short proofs for tricky formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264722
@@ Property / cites work: Q4264722 / rank @@
+Normal rank
@@ Property / cites work @@
+Tractability through symmetries in propositional calculus
+Normal rank
@@ Property / cites work @@
+Exploiting Symmetry in SMT Problems
@@ Property / cites work: Exploiting Symmetry in SMT Problems / rank @@
+Normal rank
@@ Property / cites work @@
+SYMMETRIES IN MODAL LOGICS
@@ Property / cites work: SYMMETRIES IN MODAL LOGICS / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411160
@@ Property / cites work: Q4411160 / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism of graphs of bounded valence can be tested in polynomial time
+Normal rank
@@ Property / cites work @@
+Engineering an Efficient Canonical Labeling Tool for Large and Sparse Graphs
+Normal rank
@@ Property / cites work @@
+A benchmark method for the propositional modal logics K, KT, S4
+Normal rank
@@ Property / cites work @@
+The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Dealing with Symmetries in Modal Tableaux
@@ Property / cites work: Dealing with Symmetries in Modal Tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+HTab: a Terminating Tableaux System for Hybrid Logic
+Normal rank
@@ Property / cites work @@
+Hybrid Tableaux for the Difference Modality
@@ Property / cites work: Hybrid Tableaux for the Difference Modality / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing description logic subsumption
@@ Property / cites work: Optimizing description logic subsumption / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank