Optimal channel assignment for military MANET using integer optimization and constraint programming | IEEE Conference Publication | IEEE Xplore