DUGi

Programació amb restriccions 004 - Informàtica 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automàtica Boolean satisfiability Reformulation Satisfactibilidad módulo teorias Satisfiability modulo theories

Suy Franch, Josep Universitat de Girona. Departament d’Informàtica i Matemàtica Aplicada Universitat de Girona. Departament d’Informàtica, Matemàtica Aplicada i Estadística (2013-) Bofill Arasa, Miquel Palahí i Sitges, Miquel Villaret i Ausellé, Mateu