Mikhail A. Babin

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Cardinality Constraints

Binary Variables

Functional Dependencies

Top Venues

Discret. Appl. Math.

Theor. Comput. Sci.

Publications

Mikhail A. Babin, Sergei O. Kuznetsov
Dualization in lattices given by ordered sets of irreducibles. Theor. Comput. Sci. 658 (2017)
Mikhail A. Babin, Sergei O. Kuznetsov
Dualization in Lattices Given by Ordered Sets of Irreducibles. CoRR (2015)
Mikhail A. Babin, Sergei O. Kuznetsov
Computing premises of a minimal cover of functional dependencies is intractable. Discret. Appl. Math. 161 (6) (2013)
Mikhail A. Babin, Sergei O. Kuznetsov
Approximating Concept Stability. ICFCA (2012)
Mikhail A. Babin, Sergei O. Kuznetsov
Enumerating Minimal Hypotheses and Dualizing Monotone Boolean Functions on Lattices. ICFCA (2011)
Mikhail A. Babin, Sergei O. Kuznetsov
Recognizing Pseudo-intents is coNP-complete. CLA (2010)
Mikhail A. Babin, Sergei O. Kuznetsov
On Links between Concept Lattices and Related Complexity Problems. ICFCA (2010)