Deciding Boolean Algebra with Presburger Arithmetic

by Viktor Kuncak , Huu Hai Nguyen , Martin Rinard
Venue:J. of Automated Reasoning
Citations:32 - 26 self