Login / Signup

Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description).

Gereon KremerAndrew ReynoldsClark W. BarrettCesare Tinelli
Published in: IJCAR (2022)
Keyphrases
  • solving nonlinear
  • artificial bee colony algorithm
  • augmented lagrangian
  • nonlinear equations
  • objective function
  • natural images
  • nonlinear systems