Alexander Ivrii

Available identifiers

Publication	Date of Publication	Type
Finding all minimal safe inductive sets	2018-08-10	Paper
The Computational Complexity of Structure-Based Causality	2017-04-10	Paper
Lagrangian isotopy of tori in \({S^2\times S^2}\) and \({{\mathbb{C}}P^2}\)	2016-12-27	Paper
On computing minimal independent support and its applications to sampling and counting	2016-04-12	Paper
Speeding up MUS Extraction with Preprocessing and Chunking	2015-11-20	Paper
Mining Backbone Literals in Incremental SAT	2015-11-20	Paper
On Efficient Computation of Variable MUSes	2013-08-12	Paper
Perfect Hashing and CNF Encodings of Cardinality Constraints	2013-08-12	Paper
Ruled 4-manifolds and isotopies of symplectic surfaces	2010-06-04	Paper
Isotopies of high genus Lagrangian surfaces	2006-02-21	Paper

This page was built for person: Alexander Ivrii