Infoscience

Report

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

Related material