7 citations · 32 across the 13 of their papers we have counts for
4 papers · 1 filter
O-Minimal Invariants for Discrete-Time Dynamical Systems
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine +1
Termination analysis of linear loops plays a key rôle in several areas of computer science, including program verification and abstract interpretation. Already for the simplest var…
Nonnegative Matrix Factorization Requires Irrationality
Dmitry Chistikov, Stefan Kiefer, Ines Marušić +2
Nonnegative matrix factorization (NMF) is the problem of decomposing a given nonnegative matrix into a product of a nonnegative matrix and a nonne…
Fractional coverings, greedy coverings, and rectifier networks
Dmitry Chistikov, Szabolcs Iván, Anna Lubiw +1
A rectifier network is a directed acyclic graph with distinguished sources and sinks; it is said to compute a Boolean matrix that has a in the entry iff there is a…
Learning Read-Once Functions Using Subcube Identity Queries
Dmitry V. Chistikov, Andrey A. Voronenko
We consider the problem of exact identification for read-once functions over arbitrary Boolean bases. We introduce a new type of queries (subcube identity ones), discuss its connec…