TY  - RPRT
TI  - SMART: A Propositional Logic-Based Trade Analysis and Risk Assessment Tool for a Complex Mission
AU  - Ono, Masahiro
AU  - Nicholas, Austin
AU  - Alibay, Farah
AU  - Parrish, Joseph
PY  - 2015
UR  - https://ntrs.nasa.gov/citations/20160008262
ID  - 20160008262
ER  -