Följ
Arijit Shaw
Arijit Shaw
Chennai Mathematical Institute
Verifierad e-postadress på comp.nus.edu.sg - Startsida
Titel
Citeras av
Citeras av
År
A deadline-partition oriented heterogeneous multi-core scheduler for periodic tasks
S Moulik, R Devaraj, A Sarkar, A Shaw
2017 18Th international conference on parallel and distributed computing …, 2017
122017
CryptoMiniSat with CCAnr at the SAT Competition 2020
M Soos, J Devriendt, S Gocht, A Shaw, KS Meel
SAT COMPETITION 2020, 27, 2020
82020
Designing New Phase Selection Heuristics
A Shaw, KS Meel
Proceedings of the International Conference on Theory and Applications of …, 2020
42020
An Approximate Skolem Function Counter
A Shaw, B Juba, KS Meel
Proceedings of the AAAI Conference on Artificial Intelligence 38 (8), 8108-8116, 2024
2024
Explaining SAT Solving Using Causal Reasoning
J Yang, A Shaw, T Baluta, M Soos, KS Meel
arXiv preprint arXiv:2306.06294, 2023
2023
Towards Building A Scalable Bit-vector Model Counter
A Shaw, KS Meel
DurianSat at SAT Competition 2020
A Shaw, KS Meel
SAT COMPETITION 2020, 47, 0
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–7