Automatic proofs for formulae enumerating proper polycubes
From MaRDI portal
Publication:322211
DOI10.1016/j.endm.2015.06.022zbMath1346.05120OpenAlexW2173057753WikidataQ113875307 ScholiaQ113875307MaRDI QIDQ322211
Publication date: 14 October 2016
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2015/5088/
Related Items
Cites Work