[Libre-soc-dev] Potential speed up of our mul proofs

Cole Poirier colepoirier at gmail.com
Thu Oct 29 20:58:58 GMT 2020

On Thu, Oct 29, 2020 at 1:49 PM Cole Poirier <colepoirier at gmail.com> wrote:
> Perhaps this could speed up our mul proofs by an order of
> magnitude? Thoughts? I've linked it on the wiki resources page.

There's also this, the algorithms (papers) submitted for 2018
International SAT Competition
and the results on their website


More information about the Libre-soc-dev mailing list