Algorithms for testing equivalence: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

10 August 2022

  • curprev 12:1612:16, 10 August 2022‎ Heggebakk talk contribs‎ 914 bytes +914‎ Created page with "== Testing EA-equivalence<ref name="Kaleyski">Kaleyski. (2021). Deciding EA-equivalence via invariants. Cryptography and Communications, 14(2), 271–290. https://doi.org/10.1..."
Retrieved from "http://boolean.wiki.uib.no/Algorithms_for_testing_equivalence"