GUO Wen-sheng, YANG Guo-wu, LI Xiao-yu, GAO Min. SAT-Based Algorithm for Finding Cycles in a Boolean Network[J]. Journal of University of Electronic Science and Technology of China, 2015, 44(6): 881-886. DOI: 10.3969/j.issn.1001-0548.2015.06.015
|
Citation:
|
GUO Wen-sheng, YANG Guo-wu, LI Xiao-yu, GAO Min. SAT-Based Algorithm for Finding Cycles in a Boolean Network[J]. Journal of University of Electronic Science and Technology of China, 2015, 44(6): 881-886. DOI: 10.3969/j.issn.1001-0548.2015.06.015
|
GUO Wen-sheng, YANG Guo-wu, LI Xiao-yu, GAO Min. SAT-Based Algorithm for Finding Cycles in a Boolean Network[J]. Journal of University of Electronic Science and Technology of China, 2015, 44(6): 881-886. DOI: 10.3969/j.issn.1001-0548.2015.06.015
|
Citation:
|
GUO Wen-sheng, YANG Guo-wu, LI Xiao-yu, GAO Min. SAT-Based Algorithm for Finding Cycles in a Boolean Network[J]. Journal of University of Electronic Science and Technology of China, 2015, 44(6): 881-886. DOI: 10.3969/j.issn.1001-0548.2015.06.015
|
ISSN 
DownLoad: