Personensuche
X
?
Graph-Theoretic Concepts in Computer Science; Lecture Notes in Computer Science ,
1
Bounds on Functionality and Symmetric Difference – Two Intr..:
, In:
?
Proceedings of the 37th Computational Complexity Conference ,
4
Linear branching programs and directional affine extractors:
, In:
?
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms ,
10
Beating Brute Force for (Quantified) Satisfiability of Circ..:
, In:
?
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms ,
12
Beating brute force for (quantified) satisfiability of circ..:
, In:
?
Proceedings of the 32nd Computational Complexity Conference ,
14
Random resolution refutations:
, In:
?
Proceedings of the 32nd Computational Complexity Conference ,
15