Risultati

Risultati trovati 1

Dati completi Dati sintetici

Clicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo.

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Modalità di consultazione e contatti


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