91 – 100 of 541
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
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
Making the BKW Algorithm Practical for LWE
Budroni, Alessandro ; Guo, Qian LU ; Johansson, Thomas LU
; Mårtensson, Erik
LU
and Stankovski Wagner, Paul
LU
(2020)
International Conference on Cryptology in India - INDOCRYPT 2020
In Lecture Notes in Computer Science
12578.
p.417-439
- 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
Future climate resilience through informed decision making in retrofitting projects
Gremmelspacher, Jonas Manuel ; Sivolova, Julija ; Naboni, Emanuele and Nik, Vahid M. LU
(2020)
20th International Conference on Computational Science and Its Applications, ICCSA 2020
In Lecture Notes in Computer Science
12251 LNCS.
p.352-364
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Where are you bob? privacy-preserving proximity testing with a napping party
Oleynikov, Ivan ; Pagnin, Elena LU
and Sabelfeld, Andrei
(2020)
25th European Symposium on Research in Computer Security, ESORICS 2020
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
12308 LNCS.
p.677-697
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Secure generalized deduplication via multi-key revealing encryption
Lucani, Daniel E. ; Nielsen, Lars ; Orlandi, Claudio ; Pagnin, Elena LU
and Vestergaard, Rasmus
(2020)
12th International Conference on Security and Cryptography for Networks, SCN 2020
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
12238 LNCS.
p.298-318
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Watched Propagation of$$0$$ -$$1$$ Integer Linear Constraints
(2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12333 LNCS. p.160-176
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Resolution Proofs to Analyse CDCL Solvers
(2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.427-444
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models
(2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.917-934
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems
(2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.338-357
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding