Login / Signup

A Calculus for Amortized Expected Runtimes.

Kevin BatzBenjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaLena Verscht
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • worst case
  • search tree
  • running times
  • database
  • data mining
  • artificial intelligence
  • reinforcement learning
  • relational databases
  • automated deduction