Sökning: id:"swepub:oai:DiVA.org:liu-49637" >
Towards a complete ...
Towards a complete classification of tractability in point algebras for nonlinear time
-
- Broxvall, Mathias (författare)
- Linköpings universitet,TCSLAB - Laboratoriet för teoretisk datalogi,Tekniska högskolan
-
- Jonsson, Peter (författare)
- Linköpings universitet,TCSLAB - Laboratoriet för teoretisk datalogi,Tekniska högskolan
-
(creator_code:org_t)
- Berlin : Springer, 1999
- 1999
- Engelska.
-
Ingår i: Principles and Practice of Constraint Programming – CP’99. - Berlin : Springer. - 3540666265 ; , s. 129-143
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Efficient reasoning about temporal constraints over nonlinear time models is vital in numerous application areas, such as planning, distributed systems and cooperating agents. We identify all tractable subclasses of the point algebra for partially-ordered time and examine one large, nontrivial tractable subclass of the point algebra for branching time.
Nyckelord
- constraint programming
- search problems
- tractability
- heuristics
- routing problems
- resource allocation
- scheduling
- satisfiability problems
- constraint handling
- constraint satisfaction problems
- TECHNOLOGY
- TEKNIKVETENSKAP
Publikations- och innehållstyp
- ref (ämneskategori)
- kap (ämneskategori)
Hitta via bibliotek
Till lärosätets databas