Professor Bart Selman from Cornell University Explores Computational Complexity Theory through SAT Problems

cs_talent@hust.edu.cn
86-027-87543786

Home
About

Dean's Message Department Overview Department Timeline Contact us
Faculty

Institute of Parallel and Distributed Computing and Systems Institute of Data Engineering Institute of Artificial Intelligence and Optimization Institute of Multimedia and Intelligence Technology Institute of Data Storage Institute of Teaching Center
Research

Institute of Parallel and Distributed Computing and Systems Institute of Data Engineering Institute of Artificial Intelligence and Optimization Institute of Data Storage Institute of Multimedia and Intelligence Technology
Admission

Admission Overview Master Programs Ph.d Programs Beyond the Classroom Admission Guidance
Join Us
Resources

Admission & Registration Class & Examination Transcript & Graduation Rule & Regulation

计算机学院英文网

Home

NEWS

Home > NEWS > Content

Professor Bart Selman from Cornell University Explores Computational Complexity Theory through SAT Problems

time：November 26, 2024 author： edit：SHI Zheng

Last：Professor Qin Leihua from HUST CS Nominated forthe "Baosteel Excellent Teacher Special Prize"

Next：HUST CS Organizes Double Ninth Festival Visits for Retired Staff

RESOURCES

ASSOCIATED LINKS

Copyrights @ 2002-2010 All Rights Reserved. Huazhong University of Science and Technology