Proving or Disproving likely Invariants with Constraint Reasoning
Tristan DenmatArnaud GotliebMireille DucasséPublished in: CoRR (2005)
Keyphrases
- constraint reasoning
- constraint propagation
- temporal constraints
- temporal reasoning
- moment invariants
- path consistency
- constraint satisfaction problems
- quasi invariant
- affine invariant
- arc consistency
- invariant features
- probabilistic reasoning
- constraint satisfaction
- projective invariants
- geometric invariants
- databases
- affine moment invariants
- lower bound