program synthesis

DeQuS

Program Synthesis as Dependency Quantified Formula Modulo Theory