 simul boolean logic constraint through us term weight the evolut describ aspect nasa system technic inform facil's machin search system gener interest document profess 