Discrete Program Search Algorithm

From GM-RKB
Jump to navigation Jump to search

A Discrete Program Search Algorithm is a search algorithm that performs discrete program search combinatorial exploration over discrete program search graph structures to synthesize discrete program search executable programs.