13 citations · 23 across the 10 of their papers we have counts for
1 paper · 2 filters
Supratik Chakraborty, Ashutosh Gupta, Rahul Jain
Bit-vector formulas arising from hardware verification problems often contain word-level arithmetic operations. Empirical evidence shows that state-of-the-art SMT solvers are not v…