The following pages link to Alexander Ivrii (Q265698):
Displayed 10 items.
- On computing minimal independent support and its applications to sampling and counting (Q265701) (← links)
- Lagrangian isotopy of tori in \({S^2\times S^2}\) and \({{\mathbb{C}}P^2}\) (Q730361) (← links)
- Ruled 4-manifolds and isotopies of symplectic surfaces (Q974666) (← links)
- Finding all minimal safe inductive sets (Q1656591) (← links)
- On Efficient Computation of Variable MUSes (Q2843335) (← links)
- Perfect Hashing and CNF Encodings of Cardinality Constraints (Q2843343) (← links)
- The Computational Complexity of Structure-Based Causality (Q2974511) (← links)
- Speeding up MUS Extraction with Preprocessing and Chunking (Q3453206) (← links)
- Mining Backbone Literals in Incremental SAT (Q3453214) (← links)
- Isotopies of high genus Lagrangian surfaces (Q6476754) (← links)