Equality detection for linear arithmetic constraints
Gespeichert in:
Verfasser / Beitragende:
[Li Li, Kai-duo He, Ming Gu, Xiao-yu Song]
Ort, Verlag, Jahr:
2009
Enthalten in:
Journal of Zhejiang University-SCIENCE A, 10/12(2009-12-01), 1784-1789
Format:
Artikel (online)
Online Zugang: