Definition
A type of problem that requires finding a state or value assignment to variables such that all specified conditions or constraints are simultaneously satisfied.
In short: A type of problem that requires finding a state or value assignment to variables such that all specified conditions or constraints are simultaneously satisfied.