Author:
Brain Martin,Tinelli Cesare,Ruemmer Philipp,Wahl Thomas
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Satisfiability Modulo Theories: A Beginner’s Tutorial;Lecture Notes in Computer Science;2024-09-13
2. Design of Convolution Neural Network for Crack Detection;2024 7th International Conference on Devices, Circuits and Systems (ICDCS);2024-04-23
3. Slimmer Formal Proofs for Mathematical Libraries;2023 IEEE 30th Symposium on Computer Arithmetic (ARITH);2023-09-04
4. Floating Point Multipliers Based On Vedic Mathematics;2023 International Conference on Network, Multimedia and Information Technology (NMITCON);2023-09-01
5. Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY;International Journal on Software Tools for Technology Transfer;2023-03-08