Dictionary.com
definitions
  • synonyms

decision procedure

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.
Show More

Origin of decision procedure

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