311 – 320 of 1706
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2018
-
Mark
Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers
2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.75-93(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clique is hard on average for regular resolution
2018) 50th Annual ACM Symposium on Theory of Computing, STOC 2018 In Proceedings of the Annual ACM Symposium on Theory of Computing p.646-659(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Matrioska: A Compiler for Multi-key Homomorphic Signatures
2018) 11th International Conference on Security and Cryptography for Networks, SNC 2018 In Lecture Notes in Computer Science 11035. p.43-62(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Stability-aware integrated routing and scheduling for control applications in Ethernet networks
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Optimization of message encryption for real-time applications in embedded systems
(
- Contribution to journal › Article
-
Mark
Hyperopt.jl : Hyperparameter optimization in Julia.
2018)(
- Non-textual form › Software
- 2017
-
Mark
Editorial : Special issue on coding and cryptography
(
- Contribution to journal › Debate/Note/Editorial
-
Mark
Code Generation for a SIMD Architecture with Custom Memory Organisation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficiently Correcting Matrix Products
(
- Contribution to journal › Article
-
Mark
soundgen : Parametric Voice Synthesis
2017)(
- Non-textual form › Software