“…However, it is still limited in scalability as generalization is only provided through the "don't care" (#) symbols [9], which remove redundant/irrelevant features. In order to better partition the search space, i.e., not just in hyper-rectangles, alternative encodings have been proposed, e.g., neural networks [33], [34], [35], [36], [37], [38], tree-based programs [9], [39], [40], [41], [42], [43], and cyclic graphs [44].…”