SAT Solving Algorithms Paper
I'm looking for a detailed 5-10 page paper aimed at students learning SAT solving. The paper should provide a theoretical and experimental comparison of SAT solving algorithms, including but not limited to resolution, DP, and DPLL... (Budget: $30 - $250 USD, Jobs: Algorithm, Mathematics, Research, Research Writing, Technical Writing)
