×

Found 1,645 Documents (Results 1–100)

Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test. (English) Zbl 1522.68716

Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 137-153 (2022).
MSC:  68V15 55M25 90C30

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software