61 – 70 of 483
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2021
-
Mark
Pushing the Online Boolean Matrix-vector Multiplication conjecture off-line and identifying its easy cases
- Contribution to journal › Article
-
Mark
Sparse Steiner triple systems of order 21
- Contribution to journal › Article
- 2020
-
Mark
A framework to generate domain-specific manycore architectures from dataflow programs
- Contribution to journal › Article
-
Mark
Graphs with equal domination and covering numbers
- Contribution to journal › Article
-
Mark
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
(2020) 32nd International Conference on Computer Aided Verification, CAV 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12224 LNCS. p.463-484
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lifting with simple gadgets and applications to circuit and proof complexity
(2020) 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2020-November. p.24-30
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
KRW composition theorems via lifting
(2020) 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2020-November. p.43-49
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Multivariate Analysis of Orthogonal Range Searching and Graph Distances
- Contribution to journal › Article
-
Mark
Small normalized circuits for semi-disjoint bilinear forms require logarithmic and-depth
- Contribution to journal › Article
-
Mark
Crystal centering using deep learning in X-ray crystallography
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
