Uriel Feige – Communications of the ACM

Research Highlights Feb 21 2025

Could an algorithm that seems unrelated to SAT serve as a reliable refutation heuristic? Perhaps surprisingly, the answer is yes.

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.