Raghuram Ramanujan

According to our database1, Raghuram Ramanujan authored at least 16 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Lookahead Pathology in Monte-Carlo Tree Search.
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

2023
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning.
Proceedings of the Formal Methods in Computer-Aided Design, 2023

2021
Implicit Quantile Neural Networks for Jet Simulation and Correction.
CoRR, 2021

2020
A Steering Algorithm for Redirected Walking Using Reinforcement Learning.
IEEE Trans. Vis. Comput. Graph., 2020

2019
Learning to Generate Industrial SAT Instances.
Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

G2SAT: Learning to Generate SAT Formulas.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

2018
Machine Learning Methods for Track Classification in the AT-TPC.
CoRR, 2018

2016
Monte-Carlo Tree Search for the Maximum Satisfiability Problem.
Proceedings of the Principles and Practice of Constraint Programming, 2016

A.I. as an Introduction to Research Methods in Computer Science.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Computational Creativity in the Culinary Arts.
Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015

2012
Understanding Sampling-based Adversarial Search Methods.
PhD thesis, 2012

2011
Applying UCT to Boolean Satisfiability.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Trade-Offs in Sampling-Based Adversarial Planning.
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

Monte-Carlo Style UCT Search for Boolean Satisfiability.
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010
Understanding Sampling Style Adversarial Search Methods.
Proceedings of the UAI 2010, 2010

On Adversarial Search Spaces and Sampling-Based Planning.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010


  Loading...