Below you will find many of the entries received for our 2nd problem - 3SAT. Please feel free to review and join us in the forum dedicated to this problem to discuss.
Winning Submission:
*haojn: Code / Write-up
Other Submissions:
*akki: Code / Write-up
*calebe: Code / Write-up
*denghui0815: Code / Write-up
*jne100: Code / Write-up
*andreyryabov: Code / Write-up