All events
Filter
-
-
Clear allAll Schools and Departments 5 Art History 5 Biology 1 Biomedical Sciences Research Complex 1 Business School 23 Byre Theatre 6 Byre World 1 Can Do Team 1Careers 1 Centre for Global Law and Governance 1 Chaplaincy 50 Classics 10 Comparative Literature 2 Computer science 2 Development 1 Divinity 1 Economics and Finance 16 English 14 Entrepreneurship Centre 8 Film Studies 2 French 1 Geography and Sustainable Development 3 Global office 1 Global Research Centre for Diverse Intelligences (GRCDI) 4 History 19 Human Resources 1 Institute of Iranian Studies 2 International Education and Lifelong Learning Institute (IELLI) 1 International Education Institute 1 International Relations 24 Libraries and Museums 13 Library 2 Management 6 Medicine 1 Modern Languages 20 Music Centre 33 Principal's office 1 Psychology and Neuroscience 2 Public Engagement with Research 1 Research & Innovation Services 1 Social Anthropology 1 St Andrews Centre for Critical Sustainabilities (StACCS) 2 Student society 1 The Byre Theatre 2 The Handa Centre for the Centre for Global Law and Governance 1 University of St Andrews 1
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...
