Predicting and detecting symmetries in FOL finite model search (Q861703): Difference between revisions

@@ Property / describes a project that uses @@
+nauty
@@ Property / describes a project that uses: nauty / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FALCON
@@ Property / describes a project that uses: FALCON / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FINDER
@@ Property / describes a project that uses: FINDER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / 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.1007/s10817-006-9040-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2073006675
@@ Property / OpenAlex ID: W2073006675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218535
@@ Property / cites work: Q4218535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809058
@@ Property / cites work: Q4809058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539628
@@ Property / cites work: Q4539628 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934139
@@ Property / cites work: Q4934139 / 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 @@
+Q4471959
@@ Property / cites work: Q4471959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625163
@@ Property / cites work: Q5625163 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475625
@@ Property / cites work: Q4475625 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475624
@@ Property / cites work: Q4475624 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures and model building in equational clause logic
+Normal rank
@@ Property / cites work @@
+Q4475622
@@ Property / cites work: Q4475622 / rank @@
+Normal rank
@@ Property / cites work @@
+Networks of constraints: Fundamental properties and applications to picture processing
+Normal rank
@@ Property / cites work @@
+A new method for automated finite model building exploiting failures and symmetries
+Normal rank
@@ Property / cites work @@
+Automatic Detection of Variable and Value Symmetries
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing finite algebras with FALCON
@@ Property / cites work: Constructing finite algebras with FALCON / rank @@
+Normal rank