News for hackers. Stuff that matters.

A comment on Synthesizing optimal 8051 code with an SMT solver (2020). Parent comment

Re:Synthesizing optimal 8051 code with an SMT solver (2020) by pkkm on Saturday December 10, 2022 @02:59PM (#33936214)
I think so. Their algorithms aren't known to be optimal though, just better than the previous ones.
[ Parent | on HN ]

There are no comments on this comment yet.