Armando Solar-Lezama, Liviu Tancau, Rastislav BodÃk, Sanjit A. Seshia, Vijay A. Saraswat. Combinatorial sketching for finite programs. In John Paul Shen, Margaret Martonosi, editors, Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006. pages 404-415, ACM, 2006. [doi]