Skip to content
STIMSMITH

PAWS

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

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

7 connections
UniGen Paper (DAC 2014) ← compares with 95% 2e
The paper compares UniGen with PAWS, noting similarities and differences.
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.
XOR-based Hash Partitioning uses → 95% 1e
PAWS uses XOR-based hash partitioning via the family Hxor.
Approximate Model Counting uses → 90% 1e
PAWS uses an approximate model counter to estimate |RF| before partitioning.
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.