Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning
type: Item
instance of: scholarly article
title: Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning
zbMATH Open document ID: 0911.68187
DOI: 10.1023/A:1009769509401
author: Malek Mouhoub
author: François Charpillet
author: Jean Paul Haton
published in: Constraints
publication date: 1999-05-04T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 1230472
zbMATH Keywords: planning
zbMATH Keywords: scheduling
zbMATH Keywords: temporal constraint satisfaction problem
MaRDI profile type: Publication
full work available at URL: a:1009769509401
OpenAlex ID: W1576560203
Recommended article: Q4221349
Recommended article: Q4386938
Recommended article: Q4318749
Recommended article: A unifying approach to temporal constraint reasoning
Recommended article: On temporal logic constraint solving for analyzing numerical data time series
Recommended article: An Introduction to Constraint-Based Temporal Reasoning
Recommended article: Temporal Constraint Satisfaction Problems in Fixed-Point Logic
Recommended article: Modelling and solving temporal reasoning as propositional satisfiability
Recommended article: The complexity of temporal constraint satisfaction problems
description: scientific article; zbMATH DE number 1230472