4 ms·Satisfiability Modulo Theories for Parallel Cooking and Other Optimizations1 points by danieljh 11y ago