Cited By
View all- Bjørner NNachmanson L(2024)Arithmetic Solving in Z3Computer Aided Verification10.1007/978-3-031-65627-9_2(26-41)Online publication date: 24-Jul-2024
- Kincaid ZKoh NZhu S(2023)When Less Is More: Consequence-Finding in a Weak Theory of ArithmeticProceedings of the ACM on Programming Languages10.1145/35712377:POPL(1275-1307)Online publication date: 11-Jan-2023
- Tiwari ALincoln P(2016)A search-based procedure for nonlinear real arithmeticFormal Methods in System Design10.1007/s10703-016-0245-848:3(257-273)Online publication date: 1-Jun-2016
- Show More Cited By