Login / Signup

Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test.

Alessandro CimattiAlberto GriggioEnrico LippariniRoberto Sebastiani
Published in: ATVA (2022)
Keyphrases
  • basis functions
  • low degree
  • data sets
  • information retrieval
  • test data