1 – 4 of 4
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps
(
- Contribution to journal › Article
- 2020
-
Mark
Supercritical space-width trade-offs for resolution
(
- Contribution to journal › Article
- 2016
-
Mark
Supercritical space-width trade-offs for resolution
2016) 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016 In Leibniz International Proceedings in Informatics, LIPIcs 55.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler - Leman Refinement Steps
2016) 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016 In Proceedings - Symposium on Logic in Computer Science 05-08-July-2016. p.267-276(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding