forbidden transition

constrained optimization method

limited space charge accumulation diode, LSA

constraint reasoning

circumscription reasoning

restricted language, controlled language

constraint set

immune set

constrained game

restricted game

constraint propagation

constraint knowledge