9
$\begingroup$

I'd like to know where I can turn for a good, gentle introduction to k-SAT (this may be for mathematicians that may not have a good computer science background). I'd also like to know papers that maybe survey or explain current methods used to solve k-SAT. Finally, I'm interested in the best known methods for solving k-SAT. I'd like to get an idea of the best average case and best worst case behavior.

In short, I'm looking for papers that will help someone in mathematics (not computer science) become much more of an expert in k-SAT.

$\endgroup$
6
$\begingroup$

From the Lecture Note reference thread, we have this document.

$\endgroup$
5
$\begingroup$

This survey book, Satisfiability Problem: Theory and Applications, is appropriate for introducing k-SAT to mathematicians. It is not very recent but still very valuable resource.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.