{"id":"arxiv/2605.09732","url":"https://arxiv.org/abs/2605.09732","tags":["cs.DS","cs.LO","math.CO"],"score":0,"title":"TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving","domain":"cs.DS","source":"arxiv","authors":["Mateus de Oliveira Oliveria","Sam Urmian"],"reviews":0,"subject":"cs.DS","summary":"In this work, we introduce TreeWidzard, an engine for developing dynamic programming algorithms that decide graph-theoretic properties parameterized by treewidth and pathwidth. Besides providing a unified framework for algorithms deciding atomic graph-theoretic properties, our engine allows one to combine such algorithms for two purposes: to obtain dynamic programming algorithms for more complex graph properties, and to support treewidth-based automated theorem proving. Within this context, given the specification of a Boolean combination \\(P\\) of graph properties \\(P_1, P_2, \\ldots, P_r\\),…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-10","reactions":{}}