YuriRDev
Posts
Posts
Making a “efficient” SAT solver?
Pray that P != NP
ðŸ¤
Yuri Rousseff
Compilers, Theory of Computation & Premature Optimizer