Run labeling on a large set of circuits (exact and approximate).
For each circuit we need:
The next step is categorizing nodes based on their connections to the neighbours (and their connections too), for now up to two levels.
Then we can take a look at all the examples in each category to verify or disprove certain assumptions
Run labeling on a large set of circuits (exact and approximate).
For each circuit we need:
The next step is categorizing nodes based on their connections to the neighbours (and their connections too), for now up to two levels.
Then we can take a look at all the examples in each category to verify or disprove certain assumptions