Vijay K. Garg. Predicate Detection to Solve Combinatorial Optimization Problems. In Christian Scheideler, Michael Spear, editors, SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020. pages 235-245, ACM, 2020. [doi]
Abstract is missing.