On Solving Soft Temporal Constraints Using SAT Techniques - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hossein M. Sheini, Bart Peintner, Karem A. Sakallah, Martha E. Pollack. On Solving Soft Temporal Constraints Using SAT Techniques. In Peter van Beek, editor, Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings. Volume 3709 of Lecture Notes in Computer Science, pages 607-621, Springer, 2005. [doi]

This author has not been identified. Look up 'Hossein M. Sheini' in GoogleThis author has not been identified. Look up 'Bart Peintner' in GoogleThis author has not been identified. Look up 'Karem A. Sakallah' in GoogleThis author has not been identified. Look up 'Martha E. Pollack' in Google

runs on WebDSL