Deciding Boolean Algebra with Presburger Arithmetic

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