E-graf (Czech Wikipedia)

Analysis of information sources in references of the Wikipedia article "E-graf" in Czech language version.

refsWebsite
Global rank Czech rank
2nd place
4th place
69th place
196th place
5th place
3rd place
274th place
174th place

arxiv.org

  • YANG, Yichen; PHOTHILIMTHA, Phitchaya Mangpo; WANG, Yisu Remy. Equality Saturation for Tensor Graph Superoptimization. Další autoři Max Willsey, Sudip Roy, Jacques Pienaar. [s.l.]: [s.n.], 17. 3. 2021.  arXiv:cs.AI/2101.01332
  • WANG, Yisu Remy; HUTCHISON, Shana; LEANG, Jonathan. SPORES: Sum-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra. Další autoři Bill Howe, Dan Suciu. [s.l.]: [s.n.], 22. 12. 2020.  arXiv:cs.DB/2002.07951

doi.org

  • DE MOURA, Leonardo; BJØRNER, Nikolaj. Z3: An Efficient SMT Solver. Editoři C. R. Ramakrishnan, Jakob Rehof. Tools and Algorithms for the Construction and Analysis of Systems. Berlín, Heidelberg: Springer, 2008, roč. 4963, s. 337–340. doi:10.1007/978-3-540-78800-3_24. (anglicky) 
  • JOSHI, Rajeev; NELSON, Greg; RANDALL, Keith. Denali: a goal-directed superoptimizer. ACM SIGPLAN Notices. 17. 5. 2002, roč. 37, čís. 5, s. 304–314. Dostupné online. ISSN 0362-1340. doi:10.1145/543552.512566. 
  • STEPP, Michael; TATE, Ross; LERNER, Sorin. Equality-Based Translation Validator for LLVM. Editoři Ganesh Gopalakrishnan, Shaz Qadeer. Computer Aided Verification. Berlín, Heidelberg: Springer, 2011, roč. 6806, s. 737–742. Dostupné online. doi:10.1007/978-3-642-22110-1_59. (anglicky) 

springer.com

link.springer.com

  • STEPP, Michael; TATE, Ross; LERNER, Sorin. Equality-Based Translation Validator for LLVM. Editoři Ganesh Gopalakrishnan, Shaz Qadeer. Computer Aided Verification. Berlín, Heidelberg: Springer, 2011, roč. 6806, s. 737–742. Dostupné online. doi:10.1007/978-3-642-22110-1_59. (anglicky) 

worldcat.org