Login / Signup

Formally Verifying Optimizations with Block Simulations.

Léo GourdinBenjamin BonneauSylvain BoulméDavid MonniauxAlexandre Bérard
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • block size
  • social networks
  • numerical simulations
  • data sets
  • mathematical analysis
  • neural network
  • data mining
  • evolutionary algorithm
  • simulation model