Algorithms & Complexity Seminar

Date: 8/11/2023
Speaker: Dr. Sebastian Ordyniak, University of Leeds
Title: SAT Backdoors: Depth Beats Size
Date: 25/10/2023
Speaker: Dr. Bogdan Alecu, University of Leeds.
Title: Permutation-avoiding words