Bootstrap percolation via automated conjecturing

From MaRDI portal
Publication:5881012