An Undecidable Fragment of the Theory of Set Constraints.

Witold Charatonik

Published in: Inf. Process. Lett. (1998)

Keyphrases

small number
linear constraints
real time
special case
artificial intelligence
probability distribution
sufficient conditions
lower and upper bounds
set theory
optimization criteria