Ishaan Rajan

According to our database, Ishaan Rajan authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Chop-SAT: A New Approach to Solving SAT and Probabilistic SAT for Agent Knowledge Bases.

Thomas C. Henderson, David Sacharny, Amar Mitiche, Xiuyi Fan, Amelia C. Lessen, Ishaan Rajan, Tessa Nishida

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023