This page shows all publications that appeared in the IASI annual research reports.
Authors currently affiliated with the Institute are always listed with the full name.
You can browse through them using either the links of the following line or those associated with
author names.
Show all publications of the year
ALL, with author Dell'Olmo P., in the category IASI Research Reports
(or show them all):
IASI Research Report n. 278 (Next) Cini M.,
Dell'Olmo P.Algorithms for networks of disjunctive temporal constraints.ABSTRACT Constraints satisfaction is a crucial phase in many complex decision problems. In this paper a class of constraint satisfaction problems dealing with interval variables domains and disjoint constraints is considered. Such a class, which results to be of great interest in a number of application of A.I. and O.R. [All83, Val87, DeP88, SIW89] is presented and algorithms for finding a single solution to a CSP of the class are given. The defined algorithms can remember inconsistencies checks with no computational overhead, no extensive representation of variables domains, and yield a single solution reducing the overall number of tests without preprocessing the constraints graph. Theorems proving the algorithms to be correct are given. A prototype of a system built on top of the presented procedures is being developed at I.A.S.I. in the framework of the ongoing E.E.C. project "PONTIFEX". Benchmarks are currently performed on such a prototype: testing result seem promising and will be published in a forthcoming paper.