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.

Improve this question
$\endgroup$
1

2 Answers 2

Reset to default
6
$\begingroup$

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

Improve this answer
$\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.

Improve this answer
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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