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

DOI10.4230/LIPICS.STACS.2020.60MaRDI QIDQ5874337zbMATH OpenOpenAlexFDO

Authors Florian Wörz, Jacobo Torán

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)

Recommendations

• Reversible pebble games and the relation between tree-like and general resolution space
• Space bounds for resolution
• scientific article; zbMATH DE number 1304340
• scientific article; zbMATH DE number 1424047
• A combinatorial characterization of treelike resolution space

Cited in

(3)

• Reversible pebble games and the relation between tree-like and general resolution space
• Nullstellensatz size-degree trade-offs from reversible pebbling
• A game characterisation of tree-like Q-resolution size

This page was built for publication: Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5874337)