Síntesis de programas basada en restricciones

Síntesis Inductiva

Técnica que infiere automáticamente programas a partir de ejemplos de entradas-salidas deseados. Combina aprendizaje inductivo y resolución de restricciones para generalizar los comportamientos.

← Volver