Parallel Systems
71 – 80 of 479
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
(2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Solving Hard Problems by Protein Folding?
(2020) 9th International Conference on Theory and Practice of Natural Computing, TPNC 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12494 LNCS. p.36-41
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs
de Rezende, Susanna F. LU
; Nordström, Jakob
LU
; Risse, Kilian
and Sokolov, Dmitry
LU
(2020)
35th Computational Complexity Conference, CCC 2020
In Leibniz International Proceedings in Informatics, LIPIcs
169.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Simplified and Improved Separations Between Regular and General Resolution by Lifting
(2020) 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020 In Lecture Notes in Computer Science 12178. p.182-200
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trade-offs between size and degree in polynomial calculus
(2020) 11th Innovations in Theoretical Computer Science Conference, ITCS 2020 In Leibniz International Proceedings in Informatics, LIPIcs 151.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Photon Mapping Superluminal Particles
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lifting with simple gadgets and applications to circuit and proof complexity
De Rezende, Susanna LU
; Meir, Or
; Nordstrom, Jakob
LU
; Pitassi, Toniann
; Robere, Robert
and Vinyals, Marc
(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
De Rezende, Susanna F. LU
; Meir, Or
; Nordstrom, Jakob
LU
; Pitassi, Toniann
and Robere, Robert
(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
- 2019
-
Mark
Clearing directed subgraphs by mobile agents : Variations on covering with paths
- Contribution to journal › Article
-
Mark
Generalized Kakeya sets for polynomial evaluation and faster computation of fermionants
- Contribution to journal › Article