Results

Found results 1

Full data Concise data

Click the title to see full data and shelfmark of each item

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Tesi presenti nel catalogo

Consultabile PHAN QUOC SANG, STOCHASTIC LOCAL SEARCH FOR SATISFIABILITY MODULO THEORIES: EXPLOITS TRIMMING AND COMMITMENT STRATEGIES., Rel. SEBASTIANI ROBERTO, AA 2009/2010
Author: PHAN QUOC SANG
Title: STOCHASTIC LOCAL SEARCH FOR SATISFIABILITY MODULO THEORIES: EXPLOITS TRIMMING AND COMMITMENT STRATEGIES.
Relatore: SEBASTIANI ROBERTO
Correlatore: TOMASI SILVIA
Academic year: 2009/2010
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QQ18
Richiedi la consultazione

New search