Hacker News new | comments | show | ask | jobs | submit login
Satisfiability Modulo Theories for Parallel Cooking and Other Optimizations (daniel-j-h.github.io)
1 point by danieljh 898 days ago | hide | past | web | favorite



Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: