"au:"Alexander Ivrii"" — arXiv2 Search

/ Date/ Name

/ Date/ Name

"au:"Alexander Ivrii"" — arXiv2 Search

Showing 1–8 of 8 results

/ Date/ Name

Sep 12, 2024LightSABRE: A Lightweight and Enhanced SABRE Algorithm Dec 21, 2015Constrained Sampling and Counting: Universal Hashing Meets SAT Solving Mar 18, 2021Exploiting Isomorphic Subgraphs in SAT (Long version)Aug 7, 2024Linear Circuit Synthesis using Weighted Steiner Trees Dec 9, 2014The Computational Complexity of Structure-Based Causality Feb 29, 2016Lagrangian isotopy of tori in $S^2 \times S^2$ and $\mathbb{C}P^2$Jul 19, 2024Diagonalization of large many-body Hamiltonians on a quantum processor Oct 5, 2005Ruled 4-manifolds and isotopies of symplectic surfaces