Wombit

swMATH39885MaRDI QIDQ55585FDOQ55585

Author name not available (Why is that?)

Official website: https://link.springer.com/article/10.1007%2Fs10817-018-9493-1

Described by source

• Wombit: a portfolio bit-vector solver using word-level propagation

Cited In (2)

• Reducing bit-vector polynomials to SAT using Gröbner bases
• BIGNUM

This page was built for software: Wombit