TCS concerns the foundations of efficient and correct algorithms, and it deals with the tractability of computational problems. Applications include computational biology, cryptography, natural language tools, and complex technical systems.
TCS Seminar on Pseudo-Boolean Constraints: Reasoning and Compilation
by Romain Wallon
on 11 Sep 2017 at 13:15 in room 4523, Lindstedtsvägen 5