00

Kuldeep S. Meel

Person ☆ WATCH ⎘ SHARE

First seen 7/17/2026

Last seen 9/7/2026

Evidence 5 chunks

01

NEIGHBORHOOD

6 nodes · 8 edges

graph · Kuldeep S. Meel · depth=1

02

RELATIONSHIPS

6 connections

UniWit ← authored by 95% 2e evidence

Meel is listed as an author of UniWit.

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

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

UniGen ← authored by 100% 1e evidence

Kuldeep S. Meel is an author of UniGen.

ApproxMC ← authored by 90% 1e evidence

Meel et al. authored the ApproxMC approximate model counter.

On Parallel Scalable Uniform SAT Witness Generation ← authored by 100% 1e evidence

The paper is authored by Kuldeep S. Meel.

Rice University part of → 100% 1e evidence

Kuldeep S. Meel is affiliated with Rice University.