Boolean satisfiability problem (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Boolean satisfiability problem" in English language version.

Last modified: 11:29:11, 21 August 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

2624doi.org

2^nd place

77semanticscholar.org

15^th place

8^th place

55arxiv.org

49^th place

31^st place

33web.archive.org

1^st place

22ghostarchive.org

64^th place

28^th place

22adsabs.harvard.edu

14^th place

9^th place

22ams.org

434^th place

249^th place

22worldcat.org

4^th place

22springer.com

182^nd place

172^nd place

22princeton.edu

802^nd place

528^th place

21neu.edu

low place

21acm.org

1,200^th place

821^st place

11cmu.edu

2,125^th place

1,347^th place

11fortnow.com

low place

11berkeley.edu

621^st place

429^th place

11toronto.edu

low place

11mathnet.ru

8,689^th place

low place

11cwi.nl

low place

11books.google.com

3^rd place

11hdl.handle.net

66^th place

34^th place

11uwaterloo.ca

3,649^th place

2,434^th place

11illinois.edu

1,178^th place

745^th place

11satcompetition.org

low place

acm.org (Global: 1,200^th place; English: 821^st place)

portal.acm.org

R. E. Bryant, S. M. German, and M. N. Velev, Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions, in Analytic Tableaux and Related Methods, pp. 1–13, 1999.

adsabs.harvard.edu (Global: 14^th place; English: 9^th place)

ui.adsabs.harvard.edu

Levin, Leonid (1973). "Universal search problems (Russian: Универсальные задачи перебора, Universal'nye perebornye zadachi)". Problems of Information Transmission (Russian: Проблемы Передачи Информа́ции, Problemy Peredachi Informatsii). 9 (3): 115–116. (pdf) (in Russian), translated into English by Trakhtenbrot, B. A. (1984). "A survey of Russian approaches to perebor (brute-force searches) algorithms". Annals of the History of Computing. 6 (4): 384–400. Bibcode:1984IAHC....6d.384T. doi:10.1109/MAHC.1984.10036. S2CID 950581.
Gi-Joon Nam; Sakallah, K. A.; Rutenbar, R. A. (2002). "A new FPGA detailed routing approach via search-based Boolean satisfiability" (PDF). IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 21 (6): 674. Bibcode:2002ITCAD..21..674N. doi:10.1109/TCAD.2002.1004311. Archived from the original (PDF) on 2016-03-15. Retrieved 2015-09-04.

ams.org (Global: 434^th place; English: 249^th place)

mathscinet.ams.org

Vazirani, Vijay V. (2001). Approximation Algorithms. Berlin: Springer-Verlag. p. 343. ISBN 3-540-65367-8. MR 1851303.
Papadimitriou, Christos H. (1994). Computational Complexity. Reading, Massachusetts: Addison-Wesley Publishing Company. p. 183. ISBN 0-201-53082-1. MR 1251285.

arxiv.org (Global: 49^th place; English: 31^st place)

Achlioptas, Dimitris; Coja-Oghlan, Amin (2008). "Algorithmic Barriers from Phase Transitions". 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, Philadelphia, PA, USA, October 25–28, 2008. IEEE Computer Society. pp. 793–802. arXiv:0803.2122. doi:10.1109/FOCS.2008.11.
Akmal, Shyan; Williams, Ryan (2022). MAJORITY-3SAT (and Related Problems) in Polynomial Time. pp. 1033–1043. arXiv:2107.02748. doi:10.1109/FOCS52979.2021.00103. ISBN 978-1-6654-2055-6.
Selsam, Daniel; Lamm, Matthew; Bünz, Benedikt; Liang, Percy; de Moura, Leonardo; Dill, David L. (11 March 2019). "Learning a SAT Solver from Single-Bit Supervision". arXiv:1802.03685 [cs.AI].
Junqiang Peng and Mingyu Xiao (Aug 2022). Further improvements for SAT in terms of formula length (Technical Report). arXiv:2105.06131.
Huairui Chu and Mingyu Xiao and Zhe Zhang (Jul 2020). An improved upper bound for SAT (Technical Report). arxiv. arXiv:2007.03829.

berkeley.edu (Global: 621^st place; English: 429^th place)

cs.berkeley.edu

Karp, Richard M. (1972). "Reducibility Among Combinatorial Problems" (PDF). In Raymond E. Miller; James W. Thatcher (eds.). Complexity of Computer Computations. New York: Plenum. pp. 85–103. ISBN 0-306-30707-3. Archived from the original (PDF) on 2011-06-29. Retrieved 2020-05-07. Here: p.86

books.google.com (Global: 3^rd place; English: 3^rd place)

Moore, Cristopher; Mertens, Stephan (2011), The Nature of Computation, Oxford University Press, p. 366, ISBN 978-0-19-923321-2.

cmu.edu (Global: 2,125^th place; English: 1,347^th place)

cs.cmu.edu

Fortnow, L. (2009). "The status of the P versus NP problem" (PDF). Communications of the ACM. 52 (9): 78–86. doi:10.1145/1562164.1562186. S2CID 5969255.

cwi.nl (Global: low place; English: low place)

homepages.cwi.nl

Schöning, Uwe (Oct 1999). "A probabilistic algorithm for k-SAT and constraint satisfaction problems" (PDF). 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039). pp. 410–414. doi:10.1109/SFFCS.1999.814612. ISBN 0-7695-0409-4. S2CID 123177576. Archived (PDF) from the original on 2022-10-09.

doi.org (Global: 2^nd place; English: 2^nd place)

Fortnow, L. (2009). "The status of the P versus NP problem" (PDF). Communications of the ACM. 52 (9): 78–86. doi:10.1145/1562164.1562186. S2CID 5969255.
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael (2007), "Propagation = Lazy Clause Generation", Principles and Practice of Constraint Programming – CP 2007, Lecture Notes in Computer Science, vol. 4741, pp. 544–558, doi:10.1007/978-3-540-74970-7_39, ISBN 978-3-540-74969-1, modern SAT solvers can often handle problems with millions of constraints and hundreds of thousands of variables.
Hong, Ted; Li, Yanjing; Park, Sung-Boem; Mui, Diana; Lin, David; Kaleq, Ziyad Abdel; Hakim, Nagib; Naeimi, Helia; Gardner, Donald S.; Mitra, Subhasish (November 2010). "QED: Quick Error Detection tests for effective post-silicon validation". 2010 IEEE International Test Conference. pp. 1–10. doi:10.1109/TEST.2010.5699215. ISBN 978-1-4244-7206-2. S2CID 7909084.
Massacci, Fabio; Marraro, Laura (2000-02-01). "Logical Cryptanalysis as a SAT Problem". Journal of Automated Reasoning. 24 (1): 165–203. doi:10.1023/A:1006326723002. S2CID 3114247.
Mironov, Ilya; Zhang, Lintao (2006). "Applications of SAT Solvers to Cryptanalysis of Hash Functions". In Biere, Armin; Gomes, Carla P. (eds.). Theory and Applications of Satisfiability Testing - SAT 2006. Lecture Notes in Computer Science. Vol. 4121. Springer. pp. 102–115. doi:10.1007/11814948_13. ISBN 978-3-540-37207-3.
Vizel, Y.; Weissenbacher, G.; Malik, S. (2015). "Boolean Satisfiability Solvers and Their Applications in Model Checking". Proceedings of the IEEE. 103 (11): 2021–2035. doi:10.1109/JPROC.2015.2455034. S2CID 10190144.
Cook, Stephen A. (1971). "The complexity of theorem-proving procedures" (PDF). Proceedings of the third annual ACM symposium on Theory of computing - STOC '71. pp. 151–158. doi:10.1145/800157.805047. S2CID 7573663. Archived (PDF) from the original on 2022-10-09.
Levin, Leonid (1973). "Universal search problems (Russian: Универсальные задачи перебора, Universal'nye perebornye zadachi)". Problems of Information Transmission (Russian: Проблемы Передачи Информа́ции, Problemy Peredachi Informatsii). 9 (3): 115–116. (pdf) (in Russian), translated into English by Trakhtenbrot, B. A. (1984). "A survey of Russian approaches to perebor (brute-force searches) algorithms". Annals of the History of Computing. 6 (4): 384–400. Bibcode:1984IAHC....6d.384T. doi:10.1109/MAHC.1984.10036. S2CID 950581.
Schöning, Uwe (Oct 1999). "A probabilistic algorithm for k-SAT and constraint satisfaction problems" (PDF). 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039). pp. 410–414. doi:10.1109/SFFCS.1999.814612. ISBN 0-7695-0409-4. S2CID 123177576. Archived (PDF) from the original on 2022-10-09.
Selman, Bart; Mitchell, David; Levesque, Hector (1996). "Generating Hard Satisfiability Problems". Artificial Intelligence. 81 (1–2): 17–29. doi:10.1016/0004-3702(95)00045-3.
Ding, Jian; Sly, Allan; Sun, Nike (2022). "Proof of the satisfiability conjecture for large k". Annals of Mathematics. Second Series. 196 (1): 1–388. doi:10.4007/annals.2022.196.1.1.
Krzakała, Florent; Montanari, Andrea; Ricci-Tersenghi, Federico; Semerjian, Guilhem; Zdeborová, Lenka (2007-06-19). "Gibbs states and the set of solutions of random constraint satisfaction problems". Proceedings of the National Academy of Sciences. 104 (25): 10318–10323. doi:10.1073/pnas.0703685104.
Achlioptas, Dimitris; Coja-Oghlan, Amin (2008). "Algorithmic Barriers from Phase Transitions". 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, Philadelphia, PA, USA, October 25–28, 2008. IEEE Computer Society. pp. 793–802. arXiv:0803.2122. doi:10.1109/FOCS.2008.11.
Arkin, Esther M.; Banik, Aritra; Carmi, Paz; Citovsky, Gui; Katz, Matthew J.; Mitchell, Joseph S. B.; Simakov, Marina (2018-12-11). "Selecting and covering colored points". Discrete Applied Mathematics. 250: 75–86. doi:10.1016/j.dam.2018.05.011. ISSN 0166-218X.
Buning, H.K.; Karpinski, Marek; Flogel, A. (1995). "Resolution for Quantified Boolean Formulas". Information and Computation. 117 (1). Elsevier: 12–18. doi:10.1006/inco.1995.1025.
Schaefer, Thomas J. (1978). "The complexity of satisfiability problems" (PDF). Proceedings of the 10th Annual ACM Symposium on Theory of Computing. San Diego, California. pp. 216–226. doi:10.1145/800133.804350.
Akmal, Shyan; Williams, Ryan (2022). MAJORITY-3SAT (and Related Problems) in Polynomial Time. pp. 1033–1043. arXiv:2107.02748. doi:10.1109/FOCS52979.2021.00103. ISBN 978-1-6654-2055-6.
Blass, Andreas; Gurevich, Yuri (1982-10-01). "On the unique satisfiability problem". Information and Control. 55 (1): 80–88. doi:10.1016/S0019-9958(82)90439-9. hdl:2027.42/23842. ISSN 0019-9958.
Valiant, L.; Vazirani, V. (1986). "NP is as easy as detecting unique solutions" (PDF). Theoretical Computer Science. 47: 85–93. doi:10.1016/0304-3975(86)90135-0.
Buldas, Ahto; Lenin, Aleksandr; Willemson, Jan; Charnamord, Anton (2017). "Simple Infeasibility Certificates for Attack Trees". In Obana, Satoshi; Chida, Koji (eds.). Advances in Information and Computer Security. Lecture Notes in Computer Science. Vol. 10418. Springer International Publishing. pp. 39–55. doi:10.1007/978-3-319-64200-0_3. ISBN 978-3-319-64200-0.
Gi-Joon Nam; Sakallah, K. A.; Rutenbar, R. A. (2002). "A new FPGA detailed routing approach via search-based Boolean satisfiability" (PDF). IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 21 (6): 674. Bibcode:2002ITCAD..21..674N. doi:10.1109/TCAD.2002.1004311. Archived from the original (PDF) on 2016-03-15. Retrieved 2015-09-04.
Junqiang Peng and Mingyu Xiao (Oct 2023). "Further improvements for SAT in terms of formula length". Information and Computation. 294 105085: Article number 105085. doi:10.1016/j.ic.2023.105085.
Huairui Chu and Mingyu Xiao and Zhe Zhang (Oct 2021). "An improved upper bound for SAT". Theoretical Computer Science. 887: 51–62. doi:10.1016/j.tcs.2021.06.045.
S. Liu (Jul 2018). I. Chatzigiannakis and C. Kaklamanis and D. Marx and D. Sannella (ed.). Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT. Proc. ICALP. LIPIcs. Vol. 107. Schloss Dagstuhl. pp. 88:1–13. doi:10.4230/LIPIcs.ICALP.2018.88.

fortnow.com (Global: low place; English: low place)

lance.fortnow.com

Fortnow, L. (2021). "Fifty Years of P Versus NP and the Possibility of the Impossible" (PDF). Proceedings of ACM Conference (Conference'17).

ghostarchive.org (Global: 64^th place; English: 28^th place)

Cook, Stephen A. (1971). "The complexity of theorem-proving procedures" (PDF). Proceedings of the third annual ACM symposium on Theory of computing - STOC '71. pp. 151–158. doi:10.1145/800157.805047. S2CID 7573663. Archived (PDF) from the original on 2022-10-09.
Schöning, Uwe (Oct 1999). "A probabilistic algorithm for k-SAT and constraint satisfaction problems" (PDF). 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039). pp. 410–414. doi:10.1109/SFFCS.1999.814612. ISBN 0-7695-0409-4. S2CID 123177576. Archived (PDF) from the original on 2022-10-09.

hdl.handle.net (Global: 66^th place; English: 34^th place)

Blass, Andreas; Gurevich, Yuri (1982-10-01). "On the unique satisfiability problem". Information and Control. 55 (1): 80–88. doi:10.1016/S0019-9958(82)90439-9. hdl:2027.42/23842. ISSN 0019-9958.

illinois.edu (Global: 1,178^th place; English: 745^th place)

cs-rutenbar.web.engr.illinois.edu

Gi-Joon Nam; Sakallah, K. A.; Rutenbar, R. A. (2002). "A new FPGA detailed routing approach via search-based Boolean satisfiability" (PDF). IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 21 (6): 674. Bibcode:2002ITCAD..21..674N. doi:10.1109/TCAD.2002.1004311. Archived from the original (PDF) on 2016-03-15. Retrieved 2015-09-04.

mathnet.ru (Global: 8,689^th place; English: low place)

Levin, Leonid (1973). "Universal search problems (Russian: Универсальные задачи перебора, Universal'nye perebornye zadachi)". Problems of Information Transmission (Russian: Проблемы Передачи Информа́ции, Problemy Peredachi Informatsii). 9 (3): 115–116. (pdf) (in Russian), translated into English by Trakhtenbrot, B. A. (1984). "A survey of Russian approaches to perebor (brute-force searches) algorithms". Annals of the History of Computing. 6 (4): 384–400. Bibcode:1984IAHC....6d.384T. doi:10.1109/MAHC.1984.10036. S2CID 950581.

neu.edu (Global: low place; English: low place)

ccs.neu.edu

Schaefer, Thomas J. (1978). "The complexity of satisfiability problems" (PDF). Proceedings of the 10th Annual ACM Symposium on Theory of Computing. San Diego, California. pp. 216–226. doi:10.1145/800133.804350.

princeton.edu (Global: 802^nd place; English: 528^th place)

annals.math.princeton.edu

Ding, Jian; Sly, Allan; Sun, Nike (2022). "Proof of the satisfiability conjecture for large k". Annals of Mathematics. Second Series. 196 (1): 1–388. doi:10.4007/annals.2022.196.1.1.

cs.princeton.edu

Valiant, L.; Vazirani, V. (1986). "NP is as easy as detecting unique solutions" (PDF). Theoretical Computer Science. 47: 85–93. doi:10.1016/0304-3975(86)90135-0.

satcompetition.org (Global: low place; English: low place)

"The international SAT Competitions web page". Retrieved 2007-11-15.

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Fortnow, L. (2009). "The status of the P versus NP problem" (PDF). Communications of the ACM. 52 (9): 78–86. doi:10.1145/1562164.1562186. S2CID 5969255.
Hong, Ted; Li, Yanjing; Park, Sung-Boem; Mui, Diana; Lin, David; Kaleq, Ziyad Abdel; Hakim, Nagib; Naeimi, Helia; Gardner, Donald S.; Mitra, Subhasish (November 2010). "QED: Quick Error Detection tests for effective post-silicon validation". 2010 IEEE International Test Conference. pp. 1–10. doi:10.1109/TEST.2010.5699215. ISBN 978-1-4244-7206-2. S2CID 7909084.
Massacci, Fabio; Marraro, Laura (2000-02-01). "Logical Cryptanalysis as a SAT Problem". Journal of Automated Reasoning. 24 (1): 165–203. doi:10.1023/A:1006326723002. S2CID 3114247.
Vizel, Y.; Weissenbacher, G.; Malik, S. (2015). "Boolean Satisfiability Solvers and Their Applications in Model Checking". Proceedings of the IEEE. 103 (11): 2021–2035. doi:10.1109/JPROC.2015.2455034. S2CID 10190144.
Cook, Stephen A. (1971). "The complexity of theorem-proving procedures" (PDF). Proceedings of the third annual ACM symposium on Theory of computing - STOC '71. pp. 151–158. doi:10.1145/800157.805047. S2CID 7573663. Archived (PDF) from the original on 2022-10-09.
Levin, Leonid (1973). "Universal search problems (Russian: Универсальные задачи перебора, Universal'nye perebornye zadachi)". Problems of Information Transmission (Russian: Проблемы Передачи Информа́ции, Problemy Peredachi Informatsii). 9 (3): 115–116. (pdf) (in Russian), translated into English by Trakhtenbrot, B. A. (1984). "A survey of Russian approaches to perebor (brute-force searches) algorithms". Annals of the History of Computing. 6 (4): 384–400. Bibcode:1984IAHC....6d.384T. doi:10.1109/MAHC.1984.10036. S2CID 950581.
Schöning, Uwe (Oct 1999). "A probabilistic algorithm for k-SAT and constraint satisfaction problems" (PDF). 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039). pp. 410–414. doi:10.1109/SFFCS.1999.814612. ISBN 0-7695-0409-4. S2CID 123177576. Archived (PDF) from the original on 2022-10-09.

springer.com (Global: 182^nd place; English: 172^nd place)

link.springer.com

Mironov, Ilya; Zhang, Lintao (2006). "Applications of SAT Solvers to Cryptanalysis of Hash Functions". In Biere, Armin; Gomes, Carla P. (eds.). Theory and Applications of Satisfiability Testing - SAT 2006. Lecture Notes in Computer Science. Vol. 4121. Springer. pp. 102–115. doi:10.1007/11814948_13. ISBN 978-3-540-37207-3.

springer.com

Kozen, Dexter C. (2006). "Supplementary Lecture F: Unique Satisfiability". Theory of Computation. Texts in Computer Science. Springer. p. 180. ISBN 978-1-84628-297-3.

toronto.edu (Global: low place; English: low place)

cs.toronto.edu

Cook, Stephen A. (1971). "The complexity of theorem-proving procedures" (PDF). Proceedings of the third annual ACM symposium on Theory of computing - STOC '71. pp. 151–158. doi:10.1145/800157.805047. S2CID 7573663. Archived (PDF) from the original on 2022-10-09.

uwaterloo.ca (Global: 3,649^th place; English: 2,434^th place)

complexityzoo.uwaterloo.ca

"Complexity Zoo:U - Complexity Zoo". complexityzoo.uwaterloo.ca. Archived from the original on 2019-07-09. Retrieved 2019-12-05.

web.archive.org (Global: 1^st place; English: 1^st place)

Karp, Richard M. (1972). "Reducibility Among Combinatorial Problems" (PDF). In Raymond E. Miller; James W. Thatcher (eds.). Complexity of Computer Computations. New York: Plenum. pp. 85–103. ISBN 0-306-30707-3. Archived from the original (PDF) on 2011-06-29. Retrieved 2020-05-07. Here: p.86
"Complexity Zoo:U - Complexity Zoo". complexityzoo.uwaterloo.ca. Archived from the original on 2019-07-09. Retrieved 2019-12-05.
Gi-Joon Nam; Sakallah, K. A.; Rutenbar, R. A. (2002). "A new FPGA detailed routing approach via search-based Boolean satisfiability" (PDF). IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 21 (6): 674. Bibcode:2002ITCAD..21..674N. doi:10.1109/TCAD.2002.1004311. Archived from the original (PDF) on 2016-03-15. Retrieved 2015-09-04.

worldcat.org (Global: 4^th place; English: 4^th place)

search.worldcat.org

Arkin, Esther M.; Banik, Aritra; Carmi, Paz; Citovsky, Gui; Katz, Matthew J.; Mitchell, Joseph S. B.; Simakov, Marina (2018-12-11). "Selecting and covering colored points". Discrete Applied Mathematics. 250: 75–86. doi:10.1016/j.dam.2018.05.011. ISSN 0166-218X.
Blass, Andreas; Gurevich, Yuri (1982-10-01). "On the unique satisfiability problem". Information and Control. 55 (1): 80–88. doi:10.1016/S0019-9958(82)90439-9. hdl:2027.42/23842. ISSN 0019-9958.

Boolean satisfiability problem (English Wikipedia)

acm.org (Global: 1,200th place; English: 821st place)

portal.acm.org

adsabs.harvard.edu (Global: 14th place; English: 9th place)

ui.adsabs.harvard.edu

ams.org (Global: 434th place; English: 249th place)

mathscinet.ams.org

arxiv.org (Global: 49th place; English: 31st place)

berkeley.edu (Global: 621st place; English: 429th place)

cs.berkeley.edu

books.google.com (Global: 3rd place; English: 3rd place)

cmu.edu (Global: 2,125th place; English: 1,347th place)

cs.cmu.edu

cwi.nl (Global: low place; English: low place)

homepages.cwi.nl

doi.org (Global: 2nd place; English: 2nd place)

fortnow.com (Global: low place; English: low place)

lance.fortnow.com

ghostarchive.org (Global: 64th place; English: 28th place)

hdl.handle.net (Global: 66th place; English: 34th place)

illinois.edu (Global: 1,178th place; English: 745th place)

cs-rutenbar.web.engr.illinois.edu

mathnet.ru (Global: 8,689th place; English: low place)

neu.edu (Global: low place; English: low place)

ccs.neu.edu

princeton.edu (Global: 802nd place; English: 528th place)

annals.math.princeton.edu

cs.princeton.edu

satcompetition.org (Global: low place; English: low place)

semanticscholar.org (Global: 15th place; English: 8th place)

api.semanticscholar.org

springer.com (Global: 182nd place; English: 172nd place)

link.springer.com

springer.com

toronto.edu (Global: low place; English: low place)

cs.toronto.edu

uwaterloo.ca (Global: 3,649th place; English: 2,434th place)

complexityzoo.uwaterloo.ca

web.archive.org (Global: 1st place; English: 1st place)

worldcat.org (Global: 4th place; English: 4th place)

search.worldcat.org

acm.org (Global: 1,200^th place; English: 821^st place)

adsabs.harvard.edu (Global: 14^th place; English: 9^th place)

ams.org (Global: 434^th place; English: 249^th place)

arxiv.org (Global: 49^th place; English: 31^st place)

berkeley.edu (Global: 621^st place; English: 429^th place)

books.google.com (Global: 3^rd place; English: 3^rd place)

cmu.edu (Global: 2,125^th place; English: 1,347^th place)

doi.org (Global: 2^nd place; English: 2^nd place)

ghostarchive.org (Global: 64^th place; English: 28^th place)

hdl.handle.net (Global: 66^th place; English: 34^th place)

illinois.edu (Global: 1,178^th place; English: 745^th place)

mathnet.ru (Global: 8,689^th place; English: low place)

princeton.edu (Global: 802^nd place; English: 528^th place)

semanticscholar.org (Global: 15^th place; English: 8^th place)

springer.com (Global: 182^nd place; English: 172^nd place)

uwaterloo.ca (Global: 3,649^th place; English: 2,434^th place)

web.archive.org (Global: 1^st place; English: 1^st place)

worldcat.org (Global: 4^th place; English: 4^th place)