On the Complexity of Chamberlin-Courant on Almost Structured Profiles. - Neeldhara Misra; Chinmay Sonar; P. R. Vaidyanathan (ADT, 2017)

Succinct Representations of Finite Groups. - Bireswar Das; Shivdutt Sharma; P. R. Vaidyanathan (FCT, 2019)

MaxSAT-Based Postprocessing for Treedepth. - Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (CP, 2020)

Space efficient representations of finite groups. - Bireswar Das; Shivdutt Sharma; P. R. Vaidyanathan (J. Comput. Syst. Sci., 2020)

Turbocharging Treewidth-Bounded Bayesian Network Structure Learning. - Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (AAAI, 2021)

Learning Fast-Inference Bayesian Networks. - Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (NeurIPS, 2021)

Equitable Division of a Path. - Neeldhara Misra; Chinmay Sonar; P. R. Vaidyanathan; Rohit Vaish (CoRR, 2021)

aditya95sriram/bn-slim: NeurIPS 2021. - Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (Zenodo, 2021)

Learning large Bayesian networks with expert constraints. - Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (UAI, 2022)

Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper). - Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (CP, 2023)

On inference and learning with probabilistic generating circuits. - Juha Harviainen; Vaidyanathan Peruvemba Ramaswamy; Mikko Koivisto (UAI, 2023)

Supplementary Material for Proven optimally-balanced Latin rectangles with SAT. - Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (Zenodo, 2023)

Supplementary Material for Proven optimally-balanced Latin rectangles with SAT. - Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (Zenodo, 2023)

The Power of Collaboration: Learning Large Bayesian Networks at Scale. - Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider; Hai Xia 001 (ICTAI, 2024)

collab-bn-slim. - Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider; Hai Xia 001 (Zenodo, 2024)

Realtime Generation of Streamliners with Large Language Models. - Florentina Voboril; Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (CoRR, 2024)

Code and Instances for the Paper Realtime Generation of Streamliners with Large Language Models. - Florentina Voboril; P. R. Vaidyanathan; Stefan Szeider (Zenodo, 2024)

Balancing Latin Rectangles with LLM-Generated Streamliners. - Florentina Voboril; Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (CP, 2025)

Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach. - Carlos Ansótegui; Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider; Hai Xia 001 (ICCS (2), 2025)

StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners. - Florentina Voboril; Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (NSE@ICSE, 2025)

Code and Instances for the Paper: Generating Streamlining Constraints with Large Language Models. - Florentina Voboril; P. R. Vaidyanathan; Stefan Szeider (Zenodo, 2025)

Code and Instances for the Paper - StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners. - Florentina Voboril; Vaidyanathan Peruvemba Ramaswamy; Stefan Szeider (Zenodo, 2025)