Janne Kokkala (Former)
1 – 2 of 2
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2021
-
Mark
Sparse Steiner triple systems of order 21
- Contribution to journal › Article
- 2020
-
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