This month’s events

2 results found
  1. Combinatorial Problem Solving with SAT: The Art of Encoding

    Combinatorial Problem Solving with SAT: The Art of Encoding

    Prof. Mateu Villaret, Universitat de Girona.

    This is the second, CS-focused talk of our visiting Senior Global Fellow, Prof. Mateu Villaret, Universitat de Girona. SAT, the NP-complete problem par...

  2. Whopathon

    Whopathon

    Have you ever wondered how quickly an idea can become a real business? As part of Innovation Week's AI Day, join us for the Whopathon --- a...