Predicate Detection to Solve Combinatorial Optimization Problems

SPAA 2020