00

Parallel UniGen2

CodeArtifact ☆ WATCH ⎘ SHARE

First seen 9/7/2026

Last seen 9/7/2026

Evidence 4 chunks

01

NEIGHBORHOOD

3 nodes · 5 edges

graph · Parallel UniGen2 · depth=1

02

RELATIONSHIPS

3 connections

On Parallel Scalable Uniform SAT Witness Generation ← evaluates 100% 2e evidence

The paper evaluates the parallel version of UniGen2 for speedup and uniformity.

On Parallel Scalable Uniform SAT Witness Generation ← introduces 100% 1e evidence

The paper presents and evaluates parallel UniGen2 as a parallel implementation of UniGen2.

UniGen2 derived from → 100% 1e evidence

Parallel UniGen2 is a parallel implementation of UniGen2.