Incremental constraint deletion in systems of linear constraints

DOI10.1016/0020-0190(95)00063-IzbMath0873.65059MaRDI QIDQ672413

Kim Marriott, Tien Huynh

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

algorithmsincrementallinear arithmetic constraints

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Numerical mathematical programming methods (65K05) Numerical linear algebra (65F99)

Related Items (1)

Using OBDDs to handle dynamic constraints

Uses Software

• Unnamed Item

Cites Work

• Unnamed Item

This page was built for publication: Incremental constraint deletion in systems of linear constraints