by Dallard, Clément, Fomin, Fedor V., Golovach, Petr A., Korhonen, Tuukka, Milanič, Martin
Published in ACM transactions on algorithms (16.09.2025)

by Takahashi, Tetsuya, Batty, Christopher
Published in ACM transactions on graphics (01.12.2022)

by Chen, Yizhou, Han, Yushan, Chen, Jingyu, Zhang, Zhan, Mcadams, Alex, Teran, Joseph
Published in ACM transactions on graphics (19.07.2024)

by Hehner, Eric
Published in Formal aspects of computing (29.07.2025)

Published in Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation

by Sterling, Jonathan, Angiuli, Carlo
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)

by Bansal, Nikhil, Kim, Eun Jung, Nagarajan, Viswanath, Potechin, Aaron, Rohwedder, Lars
Published in ACM transactions on algorithms (31.10.2025)

Published in Proceedings of the 56th Annual ACM Symposium on Theory of Computing

by Zarebavani, Behrooz, M. Kaufman, Danny, I. W. Levin, David, Mehri Dehnavi, Maryam
Published in ACM transactions on graphics (01.08.2025)

by Xu, Yidan, Gao, Suo, Cao, Yinghong, Mou, Jun
Published in ACM transactions on multimedia computing communications and applications (23.10.2025)

Published in Proceedings of the 56th Annual ACM Symposium on Theory of Computing

by Accattoli, Beniamino, Condoluci, Andrea, Coen, Claudio Sacerdoti
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)

by Atserias, Albert, Kolaitis, Phokion G., Wu, Wei-Lin
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)

by Kinnewig, Sebastian, Wick, Thomas, Beuchler, Sven
Published in ACM transactions on mathematical software (10.09.2025)

Published in Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation

by Grohe, Martin
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)

by Olimpieri, Federico
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)

Published in Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation

by Dawar, Anuj, Jakl, Tomas, Reggio, Luca
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)

Published in ACM transactions on architecture and code optimization