report

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

Kuncak, Viktor  orcid-logo
2007
Loading...
Thumbnail Image
Name

Kuncak07QuantifierFreeBAPAinNP.pdf

Access type

openaccess

Size

272.4 KB

Format

Adobe PDF

Checksum (MD5)

23bb736666a09f0abfad1adbdd3e33da