Mikoláš Janota

Presentando un método que mejora la detección de errores en el desarrollo de software en C.

Este artículo habla de un método para mejorar la resolución SMT usando aprendizaje automático para la selección de cuantificadores.

Este artículo examina cómo las GNN mejoran la resolución de problemas SAT.

Una nueva herramienta ofrece retroalimentación rápida para tareas de programación.