Oriented Metrics for Bottom-Up Enumerative Synthesis

Roland Meyer, Jakob Tepe

In syntax-guided synthesis, one of the challenges is to reduce the enormous size of the search space. We observe that most search spaces are not just flat sets of programs, but can…