Quantifier-Free Boolean Algebra with Presburger Arithmetic is NP-complete

Kuncak, Viktor

Welcome to the new Infoscience! Our institutional repository evolved to a new platform on July 22. We hope you will enjoy the new features, we will continue to improve it over the coming weeks. Do not hesitate to send feedback to infoscience@epfl.ch.

report

Quantifier-Free Boolean Algebra with Presburger Arithmetic is NP-complete

Kuncak, Viktor

2007

Name

Kuncak07QuantifierFreeBAPAinNP.pdf

Access type

openaccess

Size

272.4 KB

Format

Adobe PDF

Checksum (MD5)

23bb736666a09f0abfad1adbdd3e33da