Kuncak, ViktorNguyen, Hai HuuRinard, Martin2007-08-212007-08-212007-08-21200610.1007/s10817-006-9042-1https://infoscience.epfl.ch/handle/20.500.14299/10397Deciding Boolean Algebra with Presburger Arithmetictext::journal::journal article::research article