This should be an accessible introduction to SAT: <a href="http:&#x2F;&#x2F;www.georg.weissenbacher.name&#x2F;papers&#x2F;mod12.pdf" rel="nofollow">http:&#x2F;&#x2F;www.georg.weissenbacher.name&#x2F;papers&#x2F;mod12.pdf</a>.<p>If you want something more &quot;high-level&quot;, and I&#x27;ll look for something appropriate.