On the Unreasonable Effectiveness of SAT Solvers [pdf]cs.rice.edu2 points·nbaksalyar··1 commentOpen articleSaveView on HN