Normal view MARC view ISBD view

Improving satisfiability-solvers using classical and quantum statistical distributions /

by Angione, Claudio (Anjou) [aut]; Nicosia, Giuseppe [ths]; Liò, P [ths].
Material type: materialTypeLabelBookPublisher: Catania : Scuola Superiore di Catania, 2013Description: i, 48 p. : ill. ; 30 cm.Subject(s): Applied mathematics | Computer science | Artificial intelligenceDissertation note: Tesi di diploma di 2° livello per la Classe delle Scienze Sperimentali Diploma di 2° livello Scuola Superiore di Catania, Catania, Italy 2013 A.A. 2012/2013
List(s) this item appears in: Tesi di Laurea, Diploma, Dottorato, Master
Tags from this library:
No tags from this library for this title.
Location Call number Copy number Status Date due
Sala B : Armadio Tesi THS_2013 006.3 A588 (Browse shelf) 1 Available

Tesi di diploma di 2° livello per la Classe delle Scienze Sperimentali Diploma di 2° livello Scuola Superiore di Catania, Catania, Italy 2013 A.A. 2012/2013

Includes bibliographical references (p. 45-48).

Tesi discussa il 05/04/2013.

Click on an image to view it in the image viewer