Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems.

Yuechang Liu, Yunfei Jiang, Hong Qian

Browse the full TIME paper archive.