Upcoming events

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