Skip to content
STIMSMITH

PAWS

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

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

10 connections
UniGen Paper (DAC 2014) ← compares with 95% 2e
The paper compares UniGen with PAWS, noting similarities and differences.
Approximate Model Counting uses → 93% 2e
PAWS uses an approximate model counter to estimate |RF| for choosing hash parameter m.
Stefano Ermon authored by → 95% 2e
Stefano Ermon is listed as an author of PAWS.
Carla P. Gomes authored by → 95% 2e
Carla P. Gomes is listed as an author of PAWS.
UniGen compares with → 97% 2e
UniGen provides stronger theoretical guarantees than PAWS and scales further.
uniform SAT witness generation implements → 93% 1e
PAWS can be used for uniform generation of SAT witnesses as a special case of its discrete distribution sampling.
Hashing-Based Sampling implements → 95% 1e
PAWS is described as a hashing-based algorithm for sampling from distributions over discrete sets.
Uniform Generation of SAT Witnesses implements → 90% 1e
PAWS is an approach to solve the problem of uniform generation of SAT witnesses.
hashing-based sampling implements → 97% 1e
PAWS is a hashing-based algorithm for sampling from discrete distributions.
XOR-based Hash Partitioning uses → 95% 1e
PAWS uses XOR-based hash partitioning via the family Hxor.