Publications

2 results for Kuldeep S. Meel

Constrained sampling and counting: Universal hashing meets SAT solving
- - Kuldeep S. Meel
  - Moshe Vardi
  - et al.
- 2016
- AAAI 2016
Conference paper
On computing minimal independent support and its applications to sampling and counting
- - Alexander Ivrii
  - Sharad Malik
  - et al.
- 2015
- Constraints
Paper