00

UniGen

Technique ☆ WATCH ⎘ SHARE

First seen 9/7/2026

Last seen 9/7/2026

Evidence 5 chunks

01

NEIGHBORHOOD

7 nodes · 12 edges

graph · UniGen · depth=1

02

RELATIONSHIPS

6 connections

UniGen2 ← extends 100% 2e evidence

UniGen2 extends UniGen with improved performance and parallelizability.

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

The paper compares UniGen2 against UniGen in experiments.

Random Hashing uses → 100% 1e evidence

UniGen uses random hash functions to partition solution space.

Universal Hashing uses → 100% 1e evidence

UniGen uses universal hashing as a core mechanism.

Approximate Model Counting uses → 95% 1e evidence

UniGen exploits the connection between approximate counting and almost-uniform sampling.

UniWit extends → 95% 1e evidence

UniGen improves upon the ideas of UniWit.