2 ms·
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 solvin
by nsomaru 8y ago
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.