(1 - 10 von 16
)
KWARC Group
kwarc.info
Program of the Spring Meeting · 11:30: Florian Wörz, Number of Variables for Graph Differentiation and the Resolution of GI Formulas slides (if any) · 12:00: ...
X-MOLhttps://newsletter.x-mol.com › pape...Number of Variables for Graph Differentiation and the Resolution ...
newsletter.x-mol.com
— Florian Wörz. Florian Wörz. Universität Ulm, Institute of Theoretical Computer Science, Ulm, Baden-Württemberg, Germany. https://orcid.org
X-MOLhttps://newsletter.x-mol.com › paperReversible Pebble Games and the Relation Between Tree-Like and ...
newsletter.x-mol.com
— Jacobo Torán , Florian Wörz. We show a new connection between the clause space measure in tree-like resolution and the reversible pebble game ...
sortiert nach Relevanz / Datum