Constraint-based Program Synthesis

Abstraction-refinement

Iterative strategy initially simplifying the problem then progressively refining constraints. Balances efficiency and precision in complex program synthesis.

← Kembali