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 PHAN QUOC SANG, STOCHASTIC LOCAL SEARCH FOR SATISFIABILITY MODULO THEORIES: EXPLOITS TRIMMING AND COMMITMENT STRATEGIES., Rel. SEBASTIANI ROBERTO, AA 2009/2010
Autore: PHAN QUOC SANG
Titolo: STOCHASTIC LOCAL SEARCH FOR SATISFIABILITY MODULO THEORIES: EXPLOITS TRIMMING AND COMMITMENT STRATEGIES.
Relatore: SEBASTIANI ROBERTO
Correlatore: TOMASI SILVIA
Anno accademico: 2009/2010
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QQ18
Richiedi la consultazione

Nuova ricerca