decision problem
yes/no problem in computer science
promise problem
type of computational problem
Post correspondence problem
undecidable decision problem
Circuit Value Problem
problem of computing the output of a Boolean circuit
graph realization problem
existence of a graph with a degree sequence
emptiness problem
decision problem in formal language theory
equivalence problem
decision problem in theoretical computer science and formal language theory
st-connectivity
decision problem in graph theory
mortality problem
problem in computability theory
true quantified Boolean formula
problem of deciding the satisfiability of a true quantified Boolean formula