Kuldeep S. Meel

Person

First seen 7/17/2026

Last seen 7/17/2026

Evidence 4 chunks

NEIGHBORHOOD

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

4 connections

UniWit ← authored by 95% 2e

Meel is listed as an author of UniWit.

UniGen Paper (DAC 2014) ← authored by 100% 1e

Kuldeep S. Meel is listed as an author of the UniGen paper.

UniGen ← authored by 100% 1e

Kuldeep S. Meel is an author of UniGen.

ApproxMC ← authored by 90% 1e

Meel et al. authored the ApproxMC approximate model counter.