Arijit Shaw

Arijit Shaw

National University of Singapore - Queenstown / Singapore
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 5178989
Universiti Nasional Singapura
person_outline Arijit Shaw's MOST POPULAR ARTICLES
1-) A deadline-partition oriented heterogeneous multi-core scheduler for periodic tasksS Moulik, R Devaraj, A Sarkar, A Shaw2017 18Th international conference on parallel and distributed computing …, 2017122017
2-) CryptoMiniSat with CCAnr at the SAT Competition 2020M Soos, J Devriendt, S Gocht, A Shaw, KS MeelSAT COMPETITION 2020, 27, 202082020
3-) Designing New Phase Selection HeuristicsA Shaw, KS MeelProceedings of the International Conference on Theory and Applications of …, 202042020
4-) An Approximate Skolem Function CounterA Shaw, B Juba, KS MeelProceedings of the AAAI Conference on Artificial Intelligence 38 (8), 8108-8116, 202412024
5-) Model Counting in the WildA Shaw, KS MeelarXiv preprint arXiv:2408.07059, 20242024