Journal article

Incremental linear constraint solving and detection of implicit equalities

PJ Stuckey

ORSA Journal on Computing | Published : 1991

Citation metrics