Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
sanxiyn
on May 26, 2023
|
parent
|
context
|
favorite
| on:
The Silent (R)evolution of SAT
FWIW, Knuth's chapter on satisfiability mentions MiniSat once for historical interest and discusses Glucose heuristic for five pages. This matches my impression of their technical contributions.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
