Kuncak, Viktor2007-08-212007-08-212007-08-212007https://infoscience.epfl.ch/handle/20.500.14299/10400Quantifier-Free Boolean Algebra with Presburger Arithmetic is NP-completetext::report