Y
Hacker News
new
|
ask
|
show
|
jobs
by
sangnoir
566 days ago
OTOH, you can't write a Boolean SAT solver without backtracking.