TY  - RPRT
TI  - Reformulating Constraints for Compilability and Efficiency
AU  - Tong, Chris
AU  - Braudaway, Wesley
AU  - Mohan, Sunil
AU  - Voigt, Kerstin
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19960047164
ID  - 19960047164
ER  -