4 ms·
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 tok
by dhash 7y ago
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
- nsomaru 7y agoHey, 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.