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

@@ 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