Toggle navigation
TWText.com
TWText.com
faq
Contact US
Follow US
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