Exploiting Isomorphic Subgraphs in SAT (Long version)

Alexander Ivrii, Ofer Strichman

While static symmetry breaking has been explored in the SAT community for decades, only as of 2010 research has focused on exploiting the same discovered symmetry dynamically, duri…