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