report

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

Kuncak, Viktor  orcid-logo
2007
Type
report
Author(s)
Kuncak, Viktor  orcid-logo
Date Issued

2007

Note

MIT-CSAIL-TR-2007-001

URL

URL

http://hdl.handle.net/1721.1/35258
Written at

OTHER

EPFL units
LARA  
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10400