Human-Centred Computing Events
Complexity Seminar: Ryan Williams (MIT)
Location: Online
Self-Improvement for SAT
https://www.dcs.warwick.ac.uk/~igorcarb/complexity-meetings.html
Self-Improvement for SAT
https://www.dcs.warwick.ac.uk/~igorcarb/complexity-meetings.html