User talk:Dorybadboy

January 2014
Hello, I'm Ugog Nizdast. I wanted to let you know that I undid one or more of your recent contributions to Davis–Putnam algorithm because it did not appear constructive. If you would like to experiment, please use the sandbox. If you think I made a mistake, or if you have any questions, you can leave me a message on my talk page. Ugog Nizdast (talk) 10:21, 27 January 2014 (UTC)