Cited By
View all- Atserias AMüller M(2020)Automating Resolution is NP-HardJournal of the ACM10.1145/340947267:5(1-17)Online publication date: 1-Sep-2020
- Blelloch GGu YShun JSun Y(2020)Parallelism in Randomized Incremental AlgorithmsJournal of the ACM10.1145/340281967:5(1-27)Online publication date: 19-Sep-2020
- Canetti R(2020)Universally Composable SecurityJournal of the ACM10.1145/340245767:5(1-94)Online publication date: 16-Sep-2020
- Show More Cited By