You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As described in the Supplementary PDF, identical rules (note: identical clauses and outputs) can be removed if they are flipped versions of each other. Finding these can probably be done more efficiently than finding linearly dependent rules.
So this is mostly a performance improvement. The linearly dependent filtering step should be able to handle these rules too.
The text was updated successfully, but these errors were encountered:
As described in the Supplementary PDF, identical rules (note: identical clauses and outputs) can be removed if they are flipped versions of each other. Finding these can probably be done more efficiently than finding linearly dependent rules.
So this is mostly a performance improvement. The linearly dependent filtering step should be able to handle these rules too.
The text was updated successfully, but these errors were encountered: