Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions.

Published in: ACM Trans. Comput. Log. (2018)

Keyphrases