Login / Signup

Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges.

Lars B. van den HaakAnton WijsMarieke HuismanMark van den Brand
Published in: FMICS (2024)
Keyphrases
  • solving nonlinear
  • artificial bee colony algorithm
  • augmented lagrangian
  • nonlinear equations
  • equality constraints
  • multi objective
  • genetic programming