Hacker News new | ask | show | jobs
by pettou 3409 days ago
Please, do you have any recommendations for books about SAT solving for beginners?