Y
Hacker News
new
|
ask
|
show
|
jobs
by
IshKebab
557 days ago
Backtracking is not a fast SAT solver.
2 comments
dang
557 days ago
https://news.ycombinator.com/item?id=42343678
link
sangnoir
557 days ago
OTOH, you can't write a Boolean SAT solver without backtracking.
link