Computer search for graceful labeling: a survey

Abstract

This paper surveys the main computer search results for finding graceful labeling of trees. The paper is devoted to the memory of Mirka Miller, who made an outstanding contribution to the area of graph labeling.

Keywords

• graph labeling, graceful labeling, graceful tree conjecture, computer search