Deep search:Searching for "satisfiability modulo theories "SMT"" in 'ABSTRACTGot 5 items.
index Title
1
Author(s):Hong-zhou CHEN, Xue-zeng PAN, Ling...  Clicked:5077  Download:3312  Cited:0  <Full Text>
Journal of Zhejiang University Science A  2008 Vol.9 No.8 P.1070-1082  DOI:10.1631/jzus.A0720083
2
Author(s):Li LI, Kai-duo HE, Ming GU, Xiao-y...  Clicked:4854  Download:2731  Cited:1  <Full Text>
Journal of Zhejiang University Science A  2009 Vol.10 No.12 P.1784-1789  DOI:10.1631/jzus.A0820812
3
Author(s):Jin-song Su, Xiao-dong Shi, Yan-zh...  Clicked:9236  Download:3255  Cited:0  <Full Text>  <PPT> 1943
Journal of Zhejiang University Science C  2014 Vol.15 No.4 P.241-253  DOI:10.1631/jzus.C1300208
4
Author(s):Yu Zhang, Zhen Wang, Ting Jin, Kai...  Clicked:4641  Download:2521  Cited:0  <Full Text>  <PPT> 1545
Journal of Zhejiang University Science B  2017 Vol.18 No.8 P.707-716  DOI:10.1631/jzus.B1600256
5
Author(s):Chao Su, Yu-hang Guo, He-yan Huang...  Clicked:5457  Download:1711  Cited:0  <Full Text>  <PPT> 1439
Frontiers of Information Technology & Electronic Engineering  2017 Vol.18 No.10 P.1534-1542  DOI:10.1631/FITEE.1601349
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