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
Do we want to support reindxing? Might be useful when combining two different circuit with overlap in variables but the indexes are different (for example one variable could be x_1 in first cicuit but x_3 in second circuit).
How does indexing of literals work after we do conjunction/disjunction/forgetting/conditinoing etc, specially if we want to save them and load them again later on.
The text was updated successfully, but these errors were encountered:
khosravipasha
changed the title
Indexing of variables after transformations
Index of variables after transformations, reindexing, etc
Jul 17, 2020
khosravipasha
changed the title
Index of variables after transformations, reindexing, etc
Support for reindexing, effects of transformations on variable indexes
Jul 28, 2020
khosravipasha
changed the title
Support for reindexing, effects of transformations on variable indexes
Literal index support other that 1:N (or even support for reindexing)
Nov 11, 2020
khosravipasha
changed the title
Literal index support other that 1:N (or even support for reindexing)
Literal index support other that 1:N (or also support for reindexing)
Nov 11, 2020
Do we want to support reindxing? Might be useful when combining two different circuit with overlap in variables but the indexes are different (for example one variable could be x_1 in first cicuit but x_3 in second circuit).
How does indexing of literals work after we do conjunction/disjunction/forgetting/conditinoing etc, specially if we want to save them and load them again later on.
The text was updated successfully, but these errors were encountered: