Dictionary.com
definitions
  • synonyms

decision procedure

See more synonyms on Thesaurus.com
noun Logic.
  1. a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions.

Origin of decision procedure

First recorded in 1940–45
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2018