Síntese de Programas baseada em Restrições

Síntese Indutiva

Técnica que infere automaticamente programas a partir de exemplos de entradas-saídas desejadas. Combina aprendizado indutivo e resolução de restrições para generalizar comportamentos.

← Voltar