Solving Edge Clique Cover Exactly via Synergistic Data Reduction. - Anthony Hevia; Benjamin Kallus; Summer McClintic; Samantha Reisner; Darren Strash; Johnathan Wilson (ESA, 2023)