Using Timestamping and History Variables to Verify Sequential Consistency.

Published in: CAV (2001)

Keyphrases

constraint problems
variable selection
case study
relevant variables
neural network
artificial intelligence
artificial neural networks
temporal consistency
random variables
input variables
continuous variables
global consistency
cardinality constraints