Section outline

  • Θέμα: "A probabilistic algorithm for k-sat and constraint satisfaction problems" (U. Schöning)
    Ομιλητής: Αντώνης Κομινάτος