All events
Filter
Filtered by:
Clear all filters-
-
Clear allAll Schools and Departments 7 Art History 11 Biology 1 Biomedical Sciences Research Complex 1 Business School 29 Byre Theatre 5 Byre World 1 Can Do Team 1Careers 1 Centre for Energy Ethics 4 Centre for Global Law and Governance 1 Chaplaincy 52 Classics 9 Comparative Literature 2 Computer science (Current) Development 2 Divinity 2 Earth and Environmental Sciences 1 Economics and Finance 18 English 12 Film Studies 2 French 1 Geography and Sustainable Development 7 Global office 10 Global Research Centre for Diverse Intelligences (GRCDI) 3 History 20 Institute of Iranian Studies 2 International Education and Lifelong Learning Institute (IELLI) 1 International Education Institute 1 International Relations 26 Libraries and Museums 13 Library 2 Management 10 Medicine 1 Modern Languages 20 Music Centre 33 Philosophy 1 Principal's office 1 Psychology and Neuroscience 1 Public Engagement with Research 1 Research & Innovation Services 1 Social Anthropology 2 St Andrews Centre for Critical Sustainabilities (StACCS) 2 St Leonard's Postgraduate College 1 Sustainability at St Andrews 1 Sustainability Week 3 The Byre Theatre 1 Transition University of St Andrews 1 University and College Union (UCU) 1 University of St Andrews 3
2 results found
Fully-matching results
-
When AI needs logic: solving puzzles, schedules and more
Professor Mateu Villaret of the University of Girona
We are delighted to welcome Professor Mateu Villaret from the University of Girona to St Andrews as a Senior Global Fellow. As part of his visit, Professor...
-
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...
