A constraint satisfaction algorithm for fleet weapon compatibility | IEEE Conference Publication | IEEE Xplore