| Qubit Mapping and Routing via MaxSAT A Molavi, A Xu, M Diges, L Pick, S Tannu, A Albarghouthi 2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO …, 2022 | 43 | 2022 |
| Synthesizing Quantum-Circuit Optimizers A Xu, A Molavi, L Pick, S Tannu, A Albarghouthi Proceedings of the ACM on Programming Languages 7 (PLDI), 835-859, 2023 | 20 | 2023 |
| MCBAT: Model Counting for Constraints over Bounded Integer Arrays A Molavi, T Schneider, M Downing, L Bang Software Verification: 12th International Conference, VSTTE 2020, and 13th …, 2020 | 4 | 2020 |
| Compilation for Surface Code Quantum Computers A Molavi, A Xu, S Tannu, A Albarghouthi arXiv preprint arXiv:2311.18042, 2023 | 2 | 2023 |
| Hyperparameter Choice as Search Bias in AlphaZero EM Weiner, GD Montañez, A Trujillo, A Molavi 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2021 | | 2021 |
| MCBAT: a practical tool for model counting constraints on bounded integer arrays A Molavi, M Downing, T Schneider, L Bang Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | | 2020 |
| Domain Knowledge in Exploration Noise in AlphaZero E Weiner, GD Montañez, A Trujillo, A Molavi | | 2020 |
| Symbolic Execution+ Model Counting+ Entropy Maximization= Automatic Search Synthesis M Downing, A Molavi, L Bang arXiv preprint arXiv:2009.10877, 2020 | | 2020 |
