Innovative Satisfiability Algorithms for Small Depth Circuits with Symmetric Gates 🔍

Explore advanced algorithms for solving satisfiability problems in small-depth circuits featuring symmetric gates. Discover the connections to algorithm design and complexity theory in this insightful talk by Suguru Tamaki.

Innovative Satisfiability Algorithms for Small Depth Circuits with Symmetric Gates 🔍
Simons Institute for the Theory of Computing
173 views • Oct 1, 2015
Innovative Satisfiability Algorithms for Small Depth Circuits with Symmetric Gates 🔍

About this video

Suguru Tamaki, Kyoto University
Connections Between Algorithm Design and Complexity Theory
https://simons.berkeley.edu/talks/suguru-tamaki-2015-10-01

Tags and Topics

Browse our collection to discover more content in these categories.

#Simons Institute #UC Berkeley #computer science #theory of computing #Fine-Grained Complexity and Algorithm Design

Video Information

Views

173

Duration

41:44

Published

Oct 1, 2015

Related Trending Topics

LIVE TRENDS

Related trending topics. Click any trend to explore more videos.

Trending Now
v
200+
robert de niro
200+
classement coupe d'afrique des nations de football
100+