Exploiting Symmetry in SMT Problems (Q5200027): Difference between revisions

@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Darwin
@@ Property / describes a project that uses: Darwin / 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/978-3-642-22438-6_18
+Normal rank
@@ Property / OpenAlex ID @@
+W156574570
@@ Property / OpenAlex ID: W156574570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4422082
@@ Property / cites work: Q4422082 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computing finite models by reduction to function-free clause logic
+Normal rank
@@ Property / cites work @@
+Polynomial size proofs of the propositional pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Exploiting Symmetry in SMT Problems
@@ Property / cites work: Exploiting Symmetry in SMT Problems / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerful Technique to Eliminate Isomorphism in Finite Model Search
+Normal rank
@@ Property / cites work @@
+Short proofs for tricky formulas
@@ Property / cites work: Short proofs for tricky formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737899
@@ Property / cites work: Q4737899 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804898
@@ Property / cites work: Q4804898 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of resolution with generalized symmetry rules
+Normal rank