235 citations · 865 across the 103 of their papers we have counts for
1 paper · 1 filter
Sanjit A. Seshia, Randal E. Bryant
Given a formula in quantifier-free Presburger arithmetic, if it has a satisfying solution, there is one whose size, measured in bits, is polynomially bounded in the size of the for…