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

DOI10.4230/LIPICS.STACS.2020.60OpenAlexW3013690431MaRDI QIDQ5874337FDOQ5874337

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)

Cited In (3)

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

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)