An ADD-based symbolic Ryser algorithm computes permanents of dense and similar-row matrices up to size 70-80, outperforming CNF-based exact counters and explicit Ryser on these instances.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DS 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
On Symbolic Approaches for Computing the Matrix Permanent
An ADD-based symbolic Ryser algorithm computes permanents of dense and similar-row matrices up to size 70-80, outperforming CNF-based exact counters and explicit Ryser on these instances.