Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning
temporal constraint satisfaction problem
scientific article; zbMATH DE number 1230472