Infoscience

Journal article

Deciding Boolean Algebra with Presburger Arithmetic

Related material