Boolean Satisfiability Information Page

I'm very interested in Boolean satisfiability and unsatisfiability at the moment. Here are some interesting papers I've run across.

Systematic Methods

Random Search

Random Instances

Planning

Created by Michael Littman: Wed Oct 15 11:40:38 EDT 1997