Alexander Ivrii

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Finding all minimal safe inductive sets	2018-08-10	Paper
The computational complexity of structure-based causality Journal of Artificial Intelligence Research	2017-04-10	Paper
Lagrangian isotopy of tori in \({S^2\times S^2}\) and \({{\mathbb{C}}P^2}\) Geometric and Functional Analysis. GAFA	2016-12-27	Paper
On computing minimal independent support and its applications to sampling and counting Constraints	2016-04-12	Paper
Speeding up MUS extraction with preprocessing and chunking Lecture Notes in Computer Science	2015-11-20	Paper
Mining backbone literals in incremental SAT. A new kind of incremental data Lecture Notes in Computer Science	2015-11-20	Paper
On efficient computation of variable MUSes Theory and Applications of Satisfiability Testing – SAT 2012	2013-08-12	Paper
Perfect hashing and CNF encodings of cardinality constraints Theory and Applications of Satisfiability Testing – SAT 2012	2013-08-12	Paper
Ruled 4-manifolds and isotopies of symplectic surfaces Mathematische Zeitschrift	2010-06-04	Paper
Isotopies of high genus Lagrangian surfaces	2006-02-21	Paper

Research outcomes over time

This page was built for person: Alexander Ivrii