Integer Linear Programming Formulations for Triple and Quadruple Roman Domination Problems. - Sanath Kumar Vengaldas; Adarsh Reddy Muthyala; Bharath Chaitanya Konkati; P. Venkata Subba Reddy 001 (CoRR, 2023)