Local Search for Checking Satisfiability of Formulas with Trigonometric Functions.
Proceedings of the Automated Technology for Verification and Analysis, 2024
Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023