SAT solving is kind of too big a topic for one post. Here is some discussion, programs and links.