1 – 1 of 1
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2016
-
Mark
Trade-offs between time and memory in a tighter model of CDCL SAT solvers
2016) 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016 In Lecture Notes in Computer Science 9710. p.160-176(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding