Basu, Samik

7 publications

AAAI 2025 Checking Consistency of CP-Theory Preferences in Polynomial Time Erik Rauer, Samik Basu, Vasant G. Honavar

IJCAI 2024 Improved Evolutionary Algorithms for Submodular Maximization with Cost Constraints Yanhui Zhu, Samik Basu, A. Pavan

UAI 2023 Maximizing Submodular Functions Under Submodular Constraints Madhavan R. Padmanabhan, Yanhui Zhu, Samik Basu, A. Pavan

UAI 2023 Size-Constrained K-Submodular Maximization in Near-Linear Time Guanyu Nie, Yanhui Zhu, Yididiya Y. Nadew, Samik Basu, A. Pavan, Christopher John Quinn

JAIR 2011 Representing and Reasoning with Qualitative Preferences for Compositional Systems Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar

AAAI 2011 Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant G. Honavar

AAAI 2010 Dominance Testing via Model Checking Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar