Deep search:Searching for "Linear arithmetic" in 'KEYWORDGot 1 item.
index Title
1Equality detection for linear arithmetic constraints
Author(s):Li LI, Kai-duo HE, Ming GU, Xiao-y...  Clicked:5040  Download:2865  Cited:1  <Full Text>
Journal of Zhejiang University Science A  2009 Vol.10 No.12 P.1784-1789  DOI:10.1631/jzus.A0820812
Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - 2024 Journal of Zhejiang University-SCIENCE