Hacker News new | ask | show | jobs
by lotsoflumens 3241 days ago
It's called Finite Domain Constraint Programming and it's been studied for about 50 years.