conftrace_

functional reconfiguration

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

second-order finite automaton (1) ordered binary decision diagram (1) boolean circuit (1) functional decomposition (1)

Papers

Symbolic Functional Decomposition: A Reconfiguration Approach AAAI 2025