Hélène Verhaeghe

Usar modelos de linguagem pra facilitar a resolução de problemas em programação de restrições.

Uma ferramenta que melhora a atribuição de tarefas com explicações claras e interação com o usuário.

Saiba como Subconjuntos Minimalmente Insatisfazíveis podem simplificar a resolução de problemas na ciência da computação.