Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem

Constraint programming Metaconstraints Reformulació Reformulación Reformulation Satisfactibilidad módulo teorias Satisfactibilitat mòdul teories

Universitat de Girona. Departament d’Informà tica i Matemà tica Aplicada Villaret i Ausellé, Mateu Bofill Arasa, Miquel Suy Franch, Josep