I wrote a book on satisfiability. It is still a work in progress, and I expect to modify them periodically. The book is available to everyone subject to the following conditions:

1. That this book will be used only by the person who gets it and is not further copied. The reason for this is that I am periodically updating the book and I want the reader to use only the latest version when they first get it
2. That in (unlikely) case that these notes are ever published as a book the visitor (or her/his institution's library) will purchase a copy (this is a standard practice to protect the publisher)
3. That this book is properly quoted whenever the reader refers to the arguments as provided there
4. That the reader will contact me if s/he finds a substantial error (certainly there are such errors at present) in the text. Since the book still evolves, please refer to location of those errors via approximate place in the text and not the page/line number.

Here is the link to the page describing corrections, changes, etc.
The link to the changes/corrections.

In addition to this text (planned for two-semester course), the visitors of this page can get (this time w/o any restrictions) slides. The problem with these slides is that they have a varying degree of detail.