Journal article

Incremental linear constraint solving and detection of implicit equalities