IMSc
Video Portal Page
Home
Mathematics
Physics
TCS
Computational Biology
Others
Login
Photos
You are here
Home
ยป Satisfiability algorithms and lower bounds for boolean formulas
Satisfiability algorithms and lower bounds for boolean formulas
Primary tabs
View
(active tab)
View items
Lecture Series / Conference / Course :
Indo UK workshop on Computational Complexity Theory
Subject:
TCS
Speaker:
Ruiwen Chen
Youtube-url:
https://youtu.be/KRvxAqXkHeM
Date:
Thursday, January 8, 2015
Copyright © 2024, IMSc.