7 citations · 7 across the 1 of their papers we have counts for
2 papers
cs.LO2021
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…
math.SG2006★ 7 cited
Isotopies of high genus Lagrangian surfaces
R. Hind, A. Ivrii
We show that all Lagrangian submanifolds of the cotangent bundle of a Riemann surface which are homotopic to the zero section must be smoothly isotopic to the zero section.