Arijit Shaw

Orcid: 0000-0002-8332-518X

According to our database¹, Arijit Shaw authored at least 4 papers between 2017 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

An Approximate Skolem Function Counter.

[BibT_eX]

[DOI]

Arijit Shaw

Brendan Juba

Kuldeep S. Meel

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Explaining SAT Solving Using Causal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2020

Designing New Phase Selection Heuristics.

[BibT_eX]

[DOI]

Arijit Shaw

Kuldeep S. Meel

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2017

A Deadline-Partition Oriented Heterogeneous Multi-Core Scheduler for Periodic Tasks.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Parallel and Distributed Computing, 2017

Arijit Shaw

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...