Search for dissertations about: "disjunctive constraints"

Found 1 swedish dissertation containing the words disjunctive constraints.

2. 1. A Study in the Computational Complexity of Temporal Reasoning

   Author : Mathias Broxvall; Peter Jonsson; Ulf Nilsson; Anders Haraldsson; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; temporal and spatial information; artificiell intelligens; algebra; tractable fragments; temporal formalisms; formalism STP; Computer science; Datavetenskap;

   Abstract : Reasoning about temporal and spatial information is a common task in computer science, especially in the field of artificial intelligence. The topic of this thesis is the study of such reasoning from a computational perspective. READ MORE