Login / Signup

Global Optimisation with Constructive Reals.

Dan R. GhicaTodd Waugh Ambridge
Published in: LICS (2021)
Keyphrases
  • global optimisation
  • image completion
  • photo consistency