News for hackers. Stuff that matters.

A comment on Proving 50-Year-Old Sorting Networks Optimal: Part 1. Parent comment

Re:Proving 50-Year-Old Sorting Networks Optimal: Part 1 by 6ardamu on Thursday May 06, 2021 @08:18AM (#27062094)
A notion of subsumption was also studied in the context of QBF solving. https://doi.org/10.1007/978-3-642-24372-1_14
[ Parent | on HN ]

There are no comments on this comment yet.