Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space

DOI10.4230/LIPIcs.STACS.2020.60OpenAlexW3013690431MaRDI QIDQ5874337

Florian Wörz, Jacobo Toran

Publication date: 7 February 2023

Full work available at URL: http://dblp.uni-trier.de/db/conf/stacs/stacs2020.html#ToranW20

zbMATH Keywords

resolutionproof complexitytree-like resolutionpebble gameclause spaceprover-delayer gamereversible pebblingvariable spaceRaz-McKenzie game

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items

Reversible pebble games and the relation between tree-like and general resolution space, Nullstellensatz size-degree trade-offs from reversible pebbling