Skip to content
STIMSMITH

XORSample'

Tool
First seen 7/17/2026
Last seen 7/26/2026
Evidence 9 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

5 connections
UniGen Paper (DAC 2014) ← compares with 90% 2e
The paper compares UniGen with XORSample' in terms of uniformity guarantees and scalability.
hashing-based sampling implements → 95% 2e
XORSample' is an earlier hashing-based SAT witness sampling algorithm.
Hashing-Based Sampling implements → 100% 1e
XORSample' is described as a near-uniform generator using hashing-based sampling.
XOR-based Hash Partitioning uses → 100% 1e
XORSample' uses 3-wise independent linear hash functions for XOR-based partitioning.
XOR clauses uses → 96% 1e
XORSample' uses XOR clauses over all variables resulting in large clause sizes.