Symmetries, almost symmetries, and lazy clause generation (Q2342601): Difference between revisions

@@ Property / cites work @@
+Q4495106
@@ Property / cites work: Q4495106 / rank @@
+Normal rank
@@ Property / cites work @@
+On implementing symmetry detection
@@ Property / cites work: On implementing symmetry detection / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetries, almost symmetries, and lazy clause generation
+Normal rank
@@ Property / cites work @@
+Symmetry definitions for constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Exploiting symmetries within constraint satisfaction search
+Normal rank
@@ Property / cites work @@
+Q4475624
@@ Property / cites work: Q4475624 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4424851
@@ Property / cites work: Q4424851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5435012
@@ Property / cites work: Q5435012 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional Symmetry Breaking
@@ Property / cites work: Conditional Symmetry Breaking / 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 @@
+Breaking Symmetry of Interchangeable Variables and Values
+Normal rank
@@ Property / cites work @@
+Recent Advances in Constraints
@@ Property / cites work: Recent Advances in Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+A Novel Approach For Detecting Symmetries in CSP Models
+Normal rank
@@ Property / cites work @@
+Propagation = Lazy Clause Generation
@@ Property / cites work: Propagation = Lazy Clause Generation / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank