News for hackers. Stuff that matters.

A comment on The E-graph extraction problem is NP-complete.

Re:The E-graph extraction problem is NP-complete by romes on Saturday June 24, 2023 @09:09AM (#36458401)
Great to see this! Funnily, I was just now working on a problem to which I'm trying to apply e-graphs (using my -- shameless plug -- haskell e-graphs/eqsat library[1])

[1] https://github.com/alt-romes/hegg

[ Parent | on HN ]
Re:The E-graph extraction problem is NP-complete by nextaccountic on Saturday June 24, 2023 @04:14PM (#36462301)
Just curious, what's the problem you are solving?
[ Parent | on HN ]