3 ms·
Another answer is that 3SAT and co can be seen as distilled variants of proving statements. Well, 3SAT is famously hard.
by runeblaze 2y ago
Another answer is that 3SAT and co can be seen as distilled variants of proving statements. Well, 3SAT is famously hard.