TY  - JOUR
AU  - Xu, H.
AU  - Rutenbar, R. A.
AU  - Sakallah, K.
PY  - 2002/apr/
TI  - Sub-SAT: A Formulation for Relaxed Boolean Satisfiability with Applications in Routing
CY  - San Diego (CA)
ID  - Xu02
ER  -