Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
dang
on Dec 6, 2024
|
parent
|
context
|
favorite
| on:
Accidentally writing a SAT solver
[stub for offtopicness]
IshKebab
on Dec 5, 2024
|
next
[–]
Backtracking is not a fast SAT solver.
dang
on Dec 6, 2024
|
parent
|
next
[–]
https://news.ycombinator.com/item?id=42343678
sangnoir
on Dec 6, 2024
|
parent
|
prev
|
next
[–]
OTOH, you can't write a Boolean SAT solver without backtracking.
efangs
on Dec 5, 2024
|
prev
|
next
[–]
sorry this is not fast
dang
on Dec 6, 2024
|
parent
|
next
[–]
https://news.ycombinator.com/item?id=42343678
thimkerbell
on Dec 6, 2024
|
prev
[–]
"* SAT solver * is a computer program which aims to solve the Boolean satisfiability problem", has nothing to do with the SAT aptitude tests.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
