Clark Barrett

Uma estrutura flexível para problemas de otimização complexos que incorpora múltiplos objetivos e restrições lógicas.

A pesquisa melhora a clareza do raciocínio em modelos de linguagem pra ter uma precisão melhor.

Explorando novos métodos pra verificar consultas SQL usando teorias de tabela e relação.

Um método pra automatizar e otimizar a seleção de instruções pra várias arquiteturas de computador.