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