Publications

4 results for Sharad Malik

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
Modeling and integration of peripheral devices in embedded systems
- - Shaojie Wang
  - Sharad Malik
  - et al.
- 2003
- DATE 2003
Conference paper
Boolean factoring with kernels and rectangle covering
- - C.Leonard Berman
  - Naotaka Maeda
  - et al.
- 1990
- ISCAS 1990
Conference paper