Hacker News new | ask | show | jobs
Satisfiability Modulo Theories for Parallel Cooking and Other Optimizations (daniel-j-h.github.io)
1 points by danieljh 4058 days ago