19 citations · 19 across the 4 of their papers we have counts for
1 paper · 2 filters
Paul Beame, Vincent Liew
We eliminate a key roadblock to efficient verification of nonlinear integer arithmetic using CDCL SAT solvers, by showing how to construct short resolution proofs for many properti…