UniGen Paper (DAC 2014)

Paper

First seen 7/17/2026

Last seen 7/17/2026

Evidence 9 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

7 connections

UniWit evaluates → 100% 2e

The paper evaluates UniWit as a reference baseline for performance comparison.

PAWS compares with → 95% 2e

The paper compares UniGen with PAWS, noting similarities and differences.

XORSample' compares with → 90% 2e

The paper compares UniGen with XORSample' in terms of uniformity guarantees and scalability.

UniGen introduces → 100% 1e

The paper proposes and introduces the UniGen algorithm for almost-uniform generation of SAT witnesses.

Moshe Y. Vardi authored by → 100% 1e

Moshe Y. Vardi is listed as an author of the UniGen paper.

Supratik Chakraborty authored by → 100% 1e

Supratik Chakraborty is listed as an author of the UniGen paper.

Kuldeep S. Meel authored by → 100% 1e

Kuldeep S. Meel is listed as an author of the UniGen paper.