Skip to content

Raghuram Ramanujan

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

9

Active years

2010–2025

Best venue rank

A*

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2025VRA Machine Learning Approach to Expanding the Degrees of Freedom on Phone-Based Head Mounted Displays.Andrew J. Jones, Raghuram Ramanujan, Tabitha C. Peck
2024ICAPSLookahead Pathology in Monte-Carlo Tree Search.Khoi P. N. Nguyen, Raghuram Ramanujan
2023FMCADLightweight Online Learning for Sets of Related Problems in Automated Reasoning.Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett
2019SoCSLearning to Generate Industrial SAT Instances.Haoze Wu, Raghuram Ramanujan
2016AAAIA.I. as an Introduction to Research Methods in Computer Science.Raghuram Ramanujan
2016CPMonte-Carlo Tree Search for the Maximum Satisfiability Problem.Jack Goffinet, Raghuram Ramanujan
2015FlAIRSComputational Creativity in the Culinary Arts.Erol Cromwell, Jonah Galeota-Sprung, Raghuram Ramanujan
2011SATApplying UCT to Boolean Satisfiability.Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman
2010UAIUnderstanding Sampling Style Adversarial Search Methods.Raghuram Ramanujan, Ashish Sabharwal, Bart Selman