[PDF][PDF] DEMOTIC: A differentiable sampler for multi-level digital circuits
Efficient sampling of satisfying formulas for circuit satisfiability (CircuitSAT), a well-known NP-
complete problem, is essential in modern front-end applications for thorough testing and …
complete problem, is essential in modern front-end applications for thorough testing and …
[PDF][PDF] High-Throughput SAT Sampling
In this work, we present a novel technique for GPU-accelerated Boolean satisfiability (SAT)
sampling. Unlike conventional sampling algorithms that directly operate on conjunctive …
sampling. Unlike conventional sampling algorithms that directly operate on conjunctive …