decision problem
noun
: the problem of finding an effective method for deciding whether a given formula is true within the framework of the calculus to which it belongs
Love words? Need even more definitions?
Merriam-Webster unabridged
Share