Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
wjholden
9 days ago
|
parent
|
context
|
favorite
| on:
A practical introduction to constraint programming...
I agree, the theory isn't nearly as difficult as the reductions. Dennis Yurichev's "SAT/SMT by Example" (
https://smt.st/
) is a great resource on this topic, although pretty intimidating.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: