Risultati trovati 1 Dati completi Dati sinteticiClicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo. |
Consultabilità delle tesi
Consultabile |
CONTALDO FRANCESCO, FROM OPTIMIZATION MODULO THEORIES TO MINIZINC: ENCODING, EVALUATION AND ANALYSIS,
Rel. SEBASTIANI ROBERTO,
AA 2017/2018
Autore:
CONTALDO FRANCESCO
Titolo: FROM OPTIMIZATION MODULO THEORIES TO MINIZINC: ENCODING, EVALUATION AND ANALYSIS Relatore: SEBASTIANI ROBERTO Correlatore: TRENTIN PATRICK Anno accademico: 2017/2018 Corso: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Segnatura: 0517H-524 Richiedi la consultazione |