State Constraints and Pathwise Decomposition of Programs.

Published in: IEEE Trans. Software Eng. (1990)

Keyphrases

state space
constraint satisfaction
dynamic constraints
database
machine learning
knowledge base
similarity measure
search algorithm
expert systems
multiresolution
programming environment
decomposition methods