Program Synthesis with Best-First Bottom-Up Search

Saqib Ameen, Levi H. S. Lelis

Cost-guided bottom-up search (BUS) algorithms use a cost function to guide the search to solve program synthesis tasks. In this paper, we show that current state-of-the-art cost-gu…