Text this: Constructing optimized Boolean functions