Local Symmetry Breaking During Search in CSPs (Q3523057): Difference between revisions

@@ 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-540-74970-7_16
+Normal rank
@@ Property / OpenAlex ID @@
+W1572453569
@@ Property / OpenAlex ID: W1572453569 / 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 @@
+Q4495106
@@ Property / cites work: Q4495106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475622
@@ Property / cites work: Q4475622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475624
@@ Property / cites work: Q4475624 / rank @@
+Normal rank
@@ Property / cites work @@
+Breaking All Value Symmetries in Surjection Problems
+Normal rank
@@ Property / cites work @@
+Symmetry Definitions for Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Dynamic Lex Constraints
@@ Property / cites work: Dynamic Lex Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+General Symmetry Breaking Constraints
@@ Property / cites work: General Symmetry Breaking Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional Symmetry Breaking
@@ Property / cites work: Conditional Symmetry Breaking / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning by Dominance in Not-Equals Binary Constraint Networks
+Normal rank
@@ Property / cites work @@
+Q3671211
@@ Property / cites work: Q3671211 / rank @@
+Normal rank