Breaking symmetries in graph search with canonizing sets (Q2398437): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2270972703
@@ Property / OpenAlex ID: W2270972703 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08205
@@ Property / arXiv ID: 1511.08205 / rank @@
+Normal rank
@@ Property / cites work @@
+Highly irregular graphs
@@ Property / cites work: Highly irregular graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624016
@@ Property / cites work: Q3624016 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast generation of cubic graphs
@@ Property / cites work: Fast generation of cubic graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Cataloguing the graphs on 10 vertices
@@ Property / cites work: Cataloguing the graphs on 10 vertices / rank @@
+Normal rank
@@ Property / cites work @@
+Constraints for symmetry breaking in graph representation
+Normal rank
@@ Property / cites work @@
+Boolean Equi-propagation for Concise and Efficient SAT Encodings of  Combinatorial Problems
+Normal rank
@@ Property / cites work @@
+Q4198513
@@ Property / cites work: Q4198513 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Degree sequences of highly irregular graphs
@@ Property / cites work: Degree sequences of highly irregular graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry and Satisfiability: An Update
@@ Property / cites work: Symmetry and Satisfiability: An Update / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict Anticipation in the Search for Graph Automorphisms
+Normal rank
@@ Property / cites work @@
+The complexity of symmetry-breaking formulas
@@ Property / cites work: The complexity of symmetry-breaking formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorph-Free Exhaustive Generation
@@ Property / cites work: Isomorph-Free Exhaustive Generation / rank @@
+Normal rank
@@ Property / cites work @@
+<i>R</i>(4, 5) = 25
@@ Property / cites work: <i>R</i>(4, 5) = 25 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804900
@@ Property / cites work: Q4804900 / rank @@
+Normal rank
@@ Property / cites work @@
+Small Ramsey numbers
@@ Property / cites work: Small Ramsey numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Every one a Winner or how to Avoid Isomorphism Search when Cataloguing Combinatorial Configurations
+Normal rank
@@ Property / cites work @@
+Q3924228
@@ Property / cites work: Q3924228 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating effective symmetry-breaking predicates for search problems
+Normal rank
@@ Property / cites work @@
+General Symmetry Breaking Constraints
@@ Property / cites work: General Symmetry Breaking Constraints / rank @@
+Normal rank