Minimal Consistency Problem of Temporal Qualitative Constraint Networks | IEEE Conference Publication | IEEE Xplore