Login / Signup

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.

Manuel BarbosaGilles BartheBenjamin GrégoireAdrien KoutsosPierre-Yves Strub
Published in: CCS (2021)
Keyphrases
  • worst case
  • data mining
  • computational complexity
  • decision support
  • search engine
  • clustering algorithm
  • multi agent
  • data structure
  • expert systems
  • evolutionary algorithm
  • computational cost
  • text mining