3 ms·More generally, anything by Sumit Gulwani's group at MSR should be of interest.by randomsearch 9y agoMore generally, anything by Sumit Gulwani's group at MSR should be of interest.