Closed ahumenberger closed 4 years ago
This here is a version of the algorithm we discussed last week. It does the subsumption check only for the reset branch. The subsumption check for the non-resets might introduce too much overhead in practice.
This here is a version of the algorithm we discussed last week. It does the subsumption check only for the reset branch. The subsumption check for the non-resets might introduce too much overhead in practice.