Home » Authors » Alexander Nadel, Yogev Shalmon, Ofer Strichman

Alexander Nadel, Yogev Shalmon, Ofer Strichman

Public reference bibliography and cataloged PDF materials authored or published by Alexander Nadel, Yogev Shalmon, Ofer Strichman.

Found 1 document(s) Page 1 of 1

SAT Sampling at Scale via GPU-based Boolean Constraint Propagation

Year: 2026 • Source: arxiv.org • Listed PDF

Constrained-random verification tests hardware designs by sampling solutions of Boolean formulas. Existing samplers largely follow one of two approaches: CPU-based SAT samplers (e.g., CMSGen), which remain effective even...