Arijit Shaw
Orcid: 0000-0002-8332-518X
According to our database1,
Arijit Shaw
authored at least 9 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
1
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Dataset, February, 2024
Dagstuhl Reports, 2024
Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Dataset, December, 2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
2020
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
2017
Proceedings of the 18th International Conference on Parallel and Distributed Computing, 2017