DaftarIsitemplate |
Call Number |
005.133 Bee P |
Title |
On solving soft temporal constraints using sat techniques, (LNCS-Lecture Notes in Computer Science 3709) Hal 607-621 |
Author |
Hossein M. Sheini; Bart Peintner; Karem A. Sakallah; Martha E. Pollack; |
Publisher |
Springer, 2005 |
Subject |
Location |