A push-button compiler for polyhedral reductions automatically simplified an O(N^4) RNA-folding recurrence into four O(N^3) programs, one matching a classic 1999 result and three that are new.
Dirks and Niles A
1 Pith paper cite this work, alongside 377 external citations. Polarity classification is still indexing.
1
Pith paper citing it
377
external citations · OpenAlex
fields
cs.PL 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Simplification of Polyhedral Reductions in Practice
A push-button compiler for polyhedral reductions automatically simplified an O(N^4) RNA-folding recurrence into four O(N^3) programs, one matching a classic 1999 result and three that are new.