This month’s events

1 result found
  2. 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...

    Date
    Date
    Friday 18 September 2026
    Time
    11:00 am to 12:00 pm
    Location
    Jack Cole Building

Cookie preferences