Efficient solution techniques for disjunctive temporal reasoning problems
type: Item
instance of: scholarly article
title: Efficient solution techniques for disjunctive temporal reasoning problems
zbMATH Open document ID: 1082.68825
DOI: 10.1016/S0004-3702(03)00113-9
author: Ioannis Tsamardinos
author: M. E. Pollack
published in: Artificial Intelligence
publication date: 2006-02-07T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 5003921
zbMATH Keywords: Constraint-based temporal reasoning
zbMATH Keywords: Constraint satisfaction
zbMATH Keywords: Scheduling
zbMATH Keywords: Planning
MaRDI profile type: Publication
cites work: Q4954177
cites work: Q4495107
cites work: Conflict-directed backjumping revisited
cites work: Applying constraint satisfaction techniques to job shop scheduling
cites work: Q3619797
cites work: Backjump-based backtracking for constraint satisfaction problems
cites work: Temporal constraint networks
cites work: Q4386920
cites work: Non-systematic search and no-good learning
cites work: From binary temporal relations to non-binary ones and back
cites work: Backtracking algorithms for disjunctions of temporal constraints
cites work: CTP: A new constraint-based formalism for conditional, temporal planning
description: scientific article; zbMATH DE number 5003921