Boolean satisfiability problem
An "instance of the Boolean satisfiability problem" is a Boolean expression that combines Boolean variables using Boolean operators.