Professor Bart Selman from Cornell University Explores Computational Complexity Theory through SAT Problems
On the afternoon of November 18, 2024, Professor Bart Selman from Cornell University delivered an engaging lecture at HUST CS on computational complexity theory in the algorithm class for the 2023 Computer Science Excellence Program and the undergraduate and graduate programs, at the invitation of Professor He Kun.Starting with SAT problems, Professor Selman examined what constitutes true compl...