On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning.

Matthias Westphal, Julien Hu, Stefan Wlfl

Browse the full ICTAI paper archive.