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