Skip to content
STIMSMITH

UniWit

Tool
First seen 7/17/2026
Last seen 7/17/2026
Evidence 8 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

9 connections
UniGen ← compares with 100% 3e
UniGen is directly compared with UniWit in experiments showing superior performance.
XOR-based Hash Partitioning uses → 100% 2e
UniWit uses 3-wise independent linear hash functions for XOR-based partitioning.
Uniform Generation of SAT Witnesses implements → 100% 2e
UniWit is a near-uniform generator of SAT witnesses.
Kuldeep S. Meel authored by → 95% 2e
Meel is listed as an author of UniWit.
Moshe Y. Vardi authored by → 95% 2e
Vardi is listed as an author of UniWit.
UniGen Paper (DAC 2014) ← evaluates 100% 2e
The paper evaluates UniWit as a reference baseline for performance comparison.
Supratik Chakraborty authored by → 95% 2e
Chakraborty is listed as an author of UniWit.
Leapfrogging Heuristic uses → 100% 1e
UniWit uses a leapfrogging heuristic to improve scalability, though this nullifies theoretical guarantees.
Hashing-Based Sampling implements → 100% 1e
UniWit uses hashing-based techniques for generating SAT witnesses.