Hacker News Reader

I'm pretty sure when they say AI-powered under "Smart scheduling", it's just turning scheduling into 3-SAT.

The NLP stuff, fine, but those kinds of queries tokenize extremely well

Hey, would you mind explaining how scheduling is turned into 3-sat? I’ve read some Wikipedia and SO but I’m still not clear how scheduling generalises to solving this problem.

Reply on news.ycombinator.com