Siddharth Chatterjee

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 2

Top Topics

Social Choice Theory

Automated Reasoning

Decision Procedures

Top Venues

Math. Comput. Sci.

Environ. Model. Softw.

Publications