Lectura de Tesi Doctoral

Reformulation of constraint models into SMT

A càrrec de Miquel Palahí Sitges

Dirigida pel Dr. Miquel Bofill Arasa i pel Dr. Mateu Villaret Auselle