BCT: Boolean Constraint Tree

What does BCT mean? The above is one of BCT meanings. It may have other definitions. Please refer to the end of this passage.

Definition in English: Boolean Constraint Tree