Constrained sampling and counting: Universal hashing meets SAT solving
- Kuldeep S. Meel
- Moshe Vardi
- et al.
- 2016
- AAAI 2016
Conference paper
Publications
4 results for Sanjit A. Seshia
Sketching stencils
- Armando Solar-Lezama
- Gilad Arnold
- et al.
- 2007
- PLDI 2007
Conference paperSketching stencils
- Armando Solar-Lezama
- Gilad Arnold
- et al.
- 2007
- ACM SIGPLAN Notices
PaperCombinatorial sketching for finite programs
- Armando Solar-Lezama
- Liviu Tancau
- et al.
- 2006
- ASPLOS 2006
Conference paper