People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Vaidyanathan Peruvemba Ramaswamy
Recent Publications
Generating Streamlining Constraints with Large Language Models
2025
Proven optimally-balanced Latin rectangles with SAT
2023
Learning Large Bayesian Networks with Expert Constraints
2022
Learning fast-inference Bayesian networks
2021
Turbocharging Treewidth-Bounded Bayesian Network Structure Learning
2021
MaxSAT-Based Postprocessing for Treedepth
2020
Cite
×