And-inverter graph (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "And-inverter graph" in English language version.

refsWebsite
Global rank English rank
2nd place
2nd place
207th place
136th place
low place
low place
459th place
360th place
580th place
462nd place
11th place
8th place
low place
low place
1,131st place
850th place

berkeley.edu

eecs.berkeley.edu

doi.org

  • L. Hellerman (June 1963). "A catalog of three-variable Or-Inverter and And-Inverter logical circuits". IEEE Trans. Electron. Comput. EC-12 (3): 198–223. doi:10.1109/PGEC.1963.263531.
  • A. Darringer; W. H. Joyner, Jr.; C. L. Berman; L. Trevillyan (Jul 1981). "Logic synthesis through local transformations". IBM Journal of Research and Development. 25 (4): 272–280. CiteSeerX 10.1.1.85.7515. doi:10.1147/rd.254.0272.
  • G. L. Smith; R. J. Bahnsen; H. Halliwell (Jan 1982). "Boolean comparison of hardware and flowcharts". IBM Journal of Research and Development. 26 (1): 106–116. CiteSeerX 10.1.1.85.2196. doi:10.1147/rd.261.0106.
  • A. Kuehlmann; V. Paruthi; F. Krohm; M. K. Ganai (2002). "Robust boolean reasoning for equivalence checking and functional property verification". IEEE Trans. CAD. 21 (12): 1377–1394. CiteSeerX 10.1.1.119.9047. doi:10.1109/tcad.2002.804386.
  • A. Mishchenko; J. S. Zhang; S. Sinha; J. R. Burch; R. Brayton; M. Chrzanowska-Jeske (May 2006). "Using simulation and satisfiability to compute flexibilities in Boolean networks" (PDF). IEEE Trans. CAD. 25 (5): 743–755. CiteSeerX 10.1.1.62.8602. doi:10.1109/tcad.2005.860955. S2CID 13099806.

ibm.com

public.dhe.ibm.com

ntt.co.jp

kecl.ntt.co.jp

perbjesse.com

psu.edu

citeseerx.ist.psu.edu

semanticscholar.org

api.semanticscholar.org

umich.edu

web.eecs.umich.edu