2 papers
cs.CC2026
Symbolic Functional Decomposition: A Reconfiguration Approach
Mateus de Oliveira Oliveira, Wim Van den Broeck
Functional decomposition is the process of breaking down a function into a composition of simpler functions belonging to some class $\mathc…
cs.DS2026
Optimal Extended Formulations from Optimal Dynamic Programming Algorithms
Mateus de Oliveira Oliveira, Wim Van den Broeck
Vertex Subset Problems (VSPs) are a class of combinatorial optimization problems on graphs where the goal is to find a subset of vertices satisfying a predefined condition. Two pro…