59 citations · 65 across the 3 of their papers we have counts for
1 paper · 1 filter
Zakaria Chihani, François Bobot, Sébastien Bardin
The theory of quantifier-free bit-vectors (QF_BV) is of paramount importance in software verification. The standard approach for satisfiability checking reduces the bit-vector prob…