Please use this identifier to cite or link to this item: https://hdl.handle.net/10955/1364
Full metadata record
DC FieldValueLanguage
dc.contributor.authorLupia, Francesco-
dc.contributor.authorCrupi, Felice-
dc.contributor.authorScarcello, Francesco-
dc.contributor.authorGreco, Gianluigi-
dc.date.accessioned2018-11-30T10:15:52Z-
dc.date.available2018-11-30T10:15:52Z-
dc.date.issued2016-02-19-
dc.identifier.urihttp://hdl.handle.net/10955/1364-
dc.identifier.urihttps://doi.org/10.13126/UNICAL.IT/DOTTORATI/1364-
dc.descriptionDottorato di Ricerca in Ingegneria dei Sistemi e Informatica XXVIII Ciclo, a.a. 2015-2016en_US
dc.description.abstractA fundamental problem in the eld of Arti cial Intelligence and related disciplines, in particular Database theory, is the constraint satisfaction problem (or CSP) which comes as a unifying framework to express a wide spectrum of computational problems. Examples include graph colorability, planning, and database queries. The goal is either to nd one solution, to enumerate all solutions, or counting them. As a very general problem, it comes with no surprise that in most settings CSPs are hard to solve. Indeed considerable e ort has been invested by the scienti c community to shed light on the computational issues of this problem, with the objective of identifying easy instances (also called islands of tractability) and exploiting the knowledge derived from their solution to help solving the harder ones. My thesis investigates the role that structural properties play in the computational aspects of CSPs, describes algorithms to exploit such properties, and provides a number of speci c tools to solve e ciently problems arising in database theory, game theory, and process mining.en_US
dc.description.sponsorshipUniversità della Calabriaen_US
dc.language.isoenen_US
dc.relation.ispartofseriesING-INF/05;-
dc.subjectArtificial intelligenceen_US
dc.subjectComputational complexityen_US
dc.titleConstraint satisfaction: algorithms, complexity results, and applicationsen_US
dc.typeThesisen_US
Appears in Collections:Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica - Tesi di Dottorato

Files in This Item:
File Description SizeFormat 
fLupia.pdf2,68 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.