Joe Mitchell
ApproximateJoe
I have made a site describing the boolean satisfiability problem and DPLL algorithm. It's got an interactive animation of the algorithm at work (try the Watts-Strongatz graph) and discussions of
Read more