MBA = Mixed Boolean Arithmetic

This was not the first few things I thought of when I read the headline and started reading the article.

Given that "Pocket" also applies to a fairly well-known software app / system, I'd suggest that the authors might care to reconsider their names and terminology usage.

Thanks, I re-submitted to HN to specify "Mixed Boolean Arithmetic Expressions" in the title