The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability

Author: Donald Ervin Knuth
This Year Hacker News 2


by PaulHoule   2022-10-15
There has been big progress in automated theorem proving lately

Everybody is aware that neural network techniques have improved drastically in performance, it's much more obscure that the toolbox of symbolic A.I. has improved greatly. Back in the 1980s production rules engines struggled to handle 10,000 rules, now Drools can handle 1,000,000+ rules with no problems.