SAT vs. Search for Qualitative Temporal Reasoning.

Jinbo Huang

Browse the full ECAI paper archive.