Y
Hacker News
new
|
ask
|
show
|
jobs
by
dang
557 days ago
[stub for offtopicness]
3 comments
IshKebab
558 days ago
Backtracking is not a fast SAT solver.
link
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
efangs
557 days ago
sorry this is not fast
link
dang
557 days ago
https://news.ycombinator.com/item?id=42343678
link
thimkerbell
557 days ago
"* SAT solver * is a computer program which aims to solve the Boolean satisfiability problem", has nothing to do with the SAT aptitude tests.
link