19 citations · 19 across the 4 of their papers we have counts for
1 paper · 1 filter
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…