Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking (Q2398438): Difference between revisions

@@ Property / author @@
+Alice Ann Miller
@@ Property / author: Alice Ann Miller / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+nauty
@@ Property / describes a project that uses: nauty / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CryptoMiniSat
@@ Property / describes a project that uses: CryptoMiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DRAT-trim
@@ Property / describes a project that uses: DRAT-trim / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2257609876
@@ Property / OpenAlex ID: W2257609876 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08266
@@ Property / arXiv ID: 1510.08266 / rank @@
+Normal rank
@@ Property / cites work @@
+On Ramsey number \(R(4,3,3)\) and triangle-free edge-chromatic graphs in three colors
+Normal rank
@@ Property / cites work @@
+Every planar map is four colorable
@@ Property / cites work: Every planar map is four colorable / rank @@
+Normal rank
@@ Property / cites work @@
+Constraints for symmetry breaking in graph representation
+Normal rank
@@ Property / cites work @@
+Satisfiability and computing van der Waerden numbers
+Normal rank
@@ Property / cites work @@
+Q3287781
@@ Property / cites work: Q3287781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5463479
@@ Property / cites work: Q5463479 / rank @@
+Normal rank
@@ Property / cites work @@
+A new method to construct lower bounds for van der Waerden numbers
+Normal rank
@@ Property / cites work @@
+Q2855545
@@ Property / cites work: Q2855545 / 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 @@
+Boolean Equi-propagation for Concise and Efficient SAT Encodings of  Combinatorial Problems
+Normal rank
@@ Property / cites work @@
+Q5167096
@@ Property / cites work: Q5167096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256003
@@ Property / cites work: Q4256003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4529451
@@ Property / cites work: Q4529451 / rank @@
+Normal rank
@@ Property / cites work @@
+Small Ramsey numbers
@@ Property / cites work: Small Ramsey numbers / rank @@
+Normal rank
@@ Property / cites work @@
+DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
+Normal rank