On Solving Soft Temporal Constraints Using SAT Techniques.

Hossein M. Sheini, Bart Peintner, Karem A. Sakallah, Martha E. Pollack

Browse the full CP paper archive.