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 | 12 | 2017 |
CryptoMiniSat with CCAnr at the SAT Competition 2020 M Soos, J Devriendt, S Gocht, A Shaw, KS Meel SAT COMPETITION 2020, 27, 2020 | 8 | 2020 |
Designing New Phase Selection Heuristics A Shaw, KS Meel Proceedings of the International Conference on Theory and Applications of …, 2020 | 4 | 2020 |
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 | | |