Parallel search for maximum satisfiability /
by Martins, Rúben Carlos Gonçalves
Authors: Faria, Maria Inês Camarate de Campos Lynce de, supervisor | Universidade Técnica de Lisboa.--Instituto Superior Técnico Published by : UTL. Instituto Superior Técnico, (Lisboa :) Physical details: xviii, 132 p. : ill. ; 30 cm + Subject(s): Information Systems and Computer Engineering -- Doctorate -- Theses | Boolean satisfiability (SAT) | Boolean optimization | Maximum satisfiability (MaxSAT) | Cardinality constraints | Parallel search | Deterministic parallel search | Clause sharing | Unsatisfiability-based algorithms | Partitioning | Graph communities Year: 2013| Item type | Location | Call number | Copy | Status | Date due |
|---|---|---|---|---|---|
 CD-ROM |
IST - Biblioteca de Química IST-Bib Química | 17-11.95596 (Browse shelf) | Apenas consulta local | ||
 Tese |
IST - Biblioteca do Tagus Park IST-TP-Depósito | 17-11.95596 (Browse shelf) | Apenas consulta local | ||
| Tese |
Reitoria - SDP SDP-Teses | TD043 IST EIC12 2013 (Browse shelf) | 1 | Sem empréstimo | |
| CD-ROM |
Reitoria - SDP SDP-Teses | RE 2363 (Browse shelf) | 1 | Sem empréstimo |
Contains a CD-Rom
Thesis approved in public session to obtain the PhD Degree in Information Systems and Computer Engineering
Click on an image to view it in the image viewer
