Using Resolution and Cutting Planes for Verification of Nonlinear Bit-Vector Properties
#resolution
#nonlinear
3 years ago By Hernandez — Using Resolution and Cutting Planes for Verification of Nonlinear Bit-Vector Properties