• Reference Citation Analysis
  • v
  • v
  • Find an Article
Find an Article (55631797)   Find a Category (125)   Find a Journal (6166)   Find a Scholar (4154)   Find an Academic Assistant (18)
Find an Article PDF (4635029)   Today's Articles (2100)   Subscriber (50011)
Citation(s) in RCA

Indexed Articles
Ranked By
Results Analysis
  •   
  •   
  •   
  •   
Results Analysis
Year Published
Show more   Refine
Article Statistics
Refine
For: Siddiqi S. An extensible circuit-based SAT solver. J EXP THEOR ARTIF IN 2019. [DOI: 10.1080/0952813x.2019.1672798] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/25/2022]
Number Cited by Other Article(s)
1
Siddiqi SA. A novel structure-exploiting encoding for SAT-based diagnosis. J EXP THEOR ARTIF IN 2022. [DOI: 10.1080/0952813x.2022.2115145] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/14/2022]
PrevPage 1 of 1 1Next
© 2004-2024 Baishideng Publishing Group Inc. All rights reserved. 7041 Koll Center Parkway, Suite 160, Pleasanton, CA 94566, USA