Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuechang Liu, Yunfei Jiang, Hong Qian. Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems. In Stéphane Demri, Christian S. Jensen, editors, 15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Université du Québec à Monteéal, Canada, 16-18 June 2008. pages 129-136, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Yuechang Liu' in GoogleThis author has not been identified. Look up 'Yunfei Jiang' in GoogleThis author has not been identified. Look up 'Hong Qian' in Google

runs on WebDSL