Proving or Disproving likely Invariants with Constraint Reasoning.
Tristan DenmatArnaud GotliebMireille DucasséPublished in: WLPE (2005)
Keyphrases
- constraint reasoning
- constraint propagation
- temporal constraints
- temporal reasoning
- moment invariants
- path consistency
- quasi invariant
- geometric invariants
- projective invariants
- arc consistency
- constraint satisfaction
- invariant features
- affine invariant
- constraint satisfaction problems
- database systems
- imperative programs
- databases
- constraint programming
- state space
- search space
- video sequences
- three dimensional
- machine learning