ResearchTasksLogical Equivalence CheckingLogical Equivalence CheckingFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedLEC instances for sorting algorithmsAlgorithm 3 (Parallel CircuitSAT decomposition)0Number of INDETs5Feb 26, 2026Hard LEC instances for sorting algorithmsParallel CircuitSAT decomposition (Algorithm 3)2,106INDET Count2Feb 26, 2026
LEC instances for sorting algorithmsAlgorithm 3 (Parallel CircuitSAT decomposition)0Number of INDETs5Feb 26, 2026
Hard LEC instances for sorting algorithmsParallel CircuitSAT decomposition (Algorithm 3)2,106INDET Count2Feb 26, 2026