This month’s events
Filter
-
-
Clear allArts Lecture Theatre 2 Biomolecular Sciences Building 1 Buchanan Building 1 Bute Building 1 Castlecliffe 4 Chaplaincy Centre 1 Hebdomadar's Room 1 Irvine Building 1Irvine Building, room 208 (Lapworth laboratory) 1 Jack Cole Building (Current) Kennedy Hall 1 Laidlaw Music Centre 6 Medieval History, 71 South Street 2 Online 1 Online and in-person event 2 Parliament Hall 3 School III, St Salvator's Quad 1 School of Art History 1 School of Classics 2 School V, St Salvator's Quad 1 St Leonard's Chapel 2 St Mary's Quadrangle 1 St Salvator's Chapel 9 The Byre Theatre 5 The Gateway 5 Wardlaw Museum 2
-
-
-
1 result found
Fully-matching results
-
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...
