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
|
![]()
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 |