• Reference Citation Analysis
  • v
  • v
  • Find an Article
Find an Article PDF (5068342)   Today's Articles (158)
For: Deshpande A, Layek RK. Fault detection and therapeutic intervention in gene regulatory networks using SAT solvers. Biosystems 2019;179:55-62. [PMID: 30831179 DOI: 10.1016/j.biosystems.2019.02.013] [Citation(s) in RCA: 7] [Impact Index Per Article: 1.2] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 02/14/2018] [Revised: 11/04/2018] [Accepted: 02/28/2019] [Indexed: 11/19/2022]
Number Cited by Other Article(s)
1
Fu H, Liu J, Wu G, Xu Y, Sutcliffe G. Improving probability selection based weights for satisfiability problems. Knowl Based Syst 2022. [DOI: 10.1016/j.knosys.2022.108572] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/17/2022]
2
Fu H, Xu Y, Wu G, Liu J, Chen S, He X. Emphasis on the flipping variable: Towards effective local search for hard random satisfiability. Inf Sci (N Y) 2021. [DOI: 10.1016/j.ins.2021.03.009] [Citation(s) in RCA: 4] [Impact Index Per Article: 1.0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/30/2022]
3
Fu H, Wu G, Liu J, Xu Y. More efficient stochastic local search for satisfiability. APPL INTELL 2020. [DOI: 10.1007/s10489-020-01983-y] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.4] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/22/2022]
PrevPage 1 of 1 1Next
© 2004-2025 Baishideng Publishing Group Inc. All rights reserved. 7041 Koll Center Parkway, Suite 160, Pleasanton, CA 94566, USA