A New Efficient Algorithm for Solving the Simple Temporal Problem

No abstract is available in the live database for this paper.

Authors

• Lin Xu
• Berthe Y. Choueiry

Keywords

• Approximation algorithms
• Computer networks
• Logic
• Optical propagation
• Sufficient conditions
• Upper bound
• Time factors
• CPU Time
• Constraint Satisfaction Problem
• Number Of Checks
• Joint Point
• Minimalist
• Dense Network
• Tree Search
• Common Edge
• Distributivity
• Temporal Graph
• Edge Labels
• Binary Constraints
• Performance Of Solver