Wombit

MaRDI QIDQ55585swMATHFDO

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