Figshareopen access
Verification Software for Independent Sets on Trees
combinatorics and discrete mathematics (excl. physical combinatorics), independent sets, trees, log-concavity, unimodality, hard-core model, normalized covariance, spectral independence
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 780710
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.