Variable neighborhood search for extremal graphs. V: Three ways to automate finding conjectures (Q1422414): Difference between revisions

@@ Property / describes a project that uses @@
+AutoGraphiX
@@ Property / describes a project that uses: AutoGraphiX / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4742810
@@ Property / cites work: Q4742810 / rank @@
+Normal rank
@@ Property / cites work @@
+Every planar map is four colorable. I: Discharging
+Normal rank
@@ Property / cites work @@
+Every planar map is four colorable. II: Reducibility
+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 @@
+Sale of the century?
@@ Property / cites work: Sale of the century? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3318779
@@ Property / cites work: Q3318779 / rank @@
+Normal rank
@@ Property / cites work @@
+A compilation of relations between graph invariants
+Normal rank
@@ Property / cites work @@
+A compilation of relations between graph invariants—supplement I
+Normal rank
@@ Property / cites work @@
+INGRID: A graph invariant manipulator
@@ Property / cites work: INGRID: A graph invariant manipulator / 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 @@
+Variable neighborhood search for extremal graphs. I: The AutoGraphiX system
+Normal rank
@@ Property / cites work @@
+Q3672040
@@ Property / cites work: Q3672040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3684166
@@ Property / cites work: Q3684166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3315555
@@ Property / cites work: Q3315555 / rank @@
+Normal rank
@@ Property / cites work @@
+Man-machine theorem proving in graph theory
@@ Property / cites work: Man-machine theorem proving in graph theory / rank @@
+Normal rank
@@ Property / cites work @@
+Variable neighborhood search for extremal graphs 3
+Normal rank
@@ Property / cites work @@
+Q3197865
@@ Property / cites work: Q3197865 / rank @@
+Normal rank
@@ Property / cites work @@
+On conjectures of Graffiti
@@ Property / cites work: On conjectures of Graffiti / rank @@
+Normal rank
@@ Property / cites work @@
+Q3197866
@@ Property / cites work: Q3197866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3211357
@@ Property / cites work: Q3211357 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4871155
@@ Property / cites work: Q4871155 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4800089
@@ Property / cites work: Q4800089 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501634
@@ Property / cites work: Q4501634 / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorph-Free Exhaustive Generation
@@ Property / cites work: Isomorph-Free Exhaustive Generation / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of the Folkman numberFe(3, 3; 5)
@@ Property / cites work: Computation of the Folkman numberFe(3, 3; 5) / rank @@
+Normal rank
@@ Property / cites work @@
+The four-colour theorem
@@ Property / cites work: The four-colour theorem / rank @@
+Normal rank