Viewing profile — sat_solver

Play stupid games, win stupid prizes. I'm not talking about only dating apps. Wherever there's an algo, there's someone manipulating you. I just deleted and disabled my Youtube his…

You're thinking of information entropy, which is not the same concept as entropy in physics. An ice cube in a warm room can be described using a minimum description length as "ice …

Bug zapper

Hi all, I discovered a solution to the SAT problem (boolean satisfiability) that runs in time complexity O(n*log(m)), and space O(2^n), where m is the number of inputs and n is the…