2026-09-07
1 items 50 entities 68 connections
Processed 50 entities and 68 relations.
Constrained-Random Verification Uniform Stimulus Generation SAT Witness Sampling Almost-Uniform Sampling Random Hashing Universal Hashing XOR Hash Functions Conjunctive Normal Form Approximate Model Counting Functional Verification Design Under Verification Parallel Stimulus Generation Interval Propagation Markov Chain Monte Carlo Sampling Random Seeding of SAT Solver Weighted Binary Decision Diagram Independent Support Bounded Model Checking Leapfrogging Optimization UniGen2 UniGen UniWit ApproxMC BSAT Enumeration Belief Network Constraint Conversion CryptoMiniSAT RACE On Parallel Scalable Uniform SAT Witness Generation Supratik Chakraborty Daniel J. Fremont Kuldeep S. Meel Sanjit A. Seshia Moshe Y. Vardi Armando Solar-Lezama Mate Soos Mark Jerrum Leslie Valiant Vijay Vazirani Indian Institute of Technology Bombay University of California Berkeley Rice University Intel EstimateParameters Algorithm GenerateSamples Algorithm Parallel UniGen2 ISCAS89 Benchmark Circuits SMTLib Benchmarks r-wise Independent Hash Functions Dennard Scaling Belief Network Constraint Conversion