Wombit

swMATH39885MaRDI QIDQ55585FDOQ55585

Author name not available (Why is that?)

Described by source

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

Cited In (1)

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

This page was built for software: Wombit