collaborators

1 paper

cs.DS2026

TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving

Mateus de Oliveira Oliveria, Sam Urmian

In this work, we introduce TreeWidzard, an engine for developing dynamic programming algorithms that decide graph-theoretic properties parameterized by treewidth and pathwidth. Bes…