Back to Search Start Over

基于分治策略的SAT 差分自动化搜索算法及其应用.

Authors :
胡斌
谈潇
王森鹏
Source :
Journal on Communication / Tongxin Xuebao; Apr2023, Vol. 44 Issue 4, p137-144, 8p
Publication Year :
2023

Abstract

<i>Copyright of Journal on Communication / Tongxin Xuebao is the property of Journal on Communications Editorial Office and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)

Details

Language :
Chinese
ISSN :
1000436X
Volume :
44
Issue :
4
Database :
Complementary Index
Journal :
Journal on Communication / Tongxin Xuebao
Publication Type :
Academic Journal
Accession number :
164392063
Full Text :
https://doi.org/10.11959/j.issn.1000-436x.2023082