Clark Barrett

Un framework flessibile per problemi di ottimizzazione complessi che incorpora più obiettivi e vincoli logici.

La ricerca migliora la chiarezza del ragionamento nei modelli linguistici per una maggiore precisione.

Esplorando nuovi metodi per verificare le query SQL usando teorie di tabelle e relazioni.

Un metodo per automatizzare e ottimizzare la selezione delle istruzioni per varie architetture informatiche.