Skip to content
STIMSMITH

ApproxMC

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

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

5 connections
UniGen ← uses 100% 1e
UniGen's ApproxModelCounter subroutine is implemented using ApproxMC.
Approximate Model Counting implements → 100% 1e
ApproxMC is an approximate model counter used within UniGen.
Supratik Chakraborty authored by → 90% 1e
Chakraborty et al. authored the ApproxMC approximate model counter.
Kuldeep S. Meel authored by → 90% 1e
Meel et al. authored the ApproxMC approximate model counter.
Moshe Y. Vardi authored by → 90% 1e
Vardi et al. authored the ApproxMC approximate model counter.