scrambled
scrambled
Concept

Decision procedure

Modified just now
JourneyProgramming Language Theory Statuslearning Tags
  • computation theory
  • data-structure-algorithm
  • logic

An algorithm that always terminates and correctly answers yes/no for any instance of a given problem class (like propositional satisfiability or type equivalence).

An algorithm that always terminates and correctly answers yes/no for any instance of a given problem class (like propositional satisfiability or type equivalence).