Program synthesis is the method to solve reasoning and discrete problems through combinatorial search over graphs of operators from a domain-specific language (DSL); it can solve problems from very few examples (unlike deep learning which requires dense data) but faces the challenge of combinatorial explosion as the set of possible programs grows exponentially with program size.