| No. |
Title |
Author |
Year |
| 1 |
Higher-Order Quantified Boolean Satisfiability |
Chistikov, Dmitry et al. |
2022 |
| 2 |
On the Power of Ordering in Linear Arithmetic Theories |
Chistikov, Dmitry et al. |
2020 |
| 3 |
Rational Subsets of Baumslag-Solitar Groups |
Cadilhac, Michaël et al. |
2020 |
| 4 |
The Big-O Problem for Labelled Markov Chains and Weighted Automata |
Chistikov, Dmitry et al. |
2020 |
| 5 |
Asymmetric Distances for Approximate Differential Privacy |
Chistikov, Dmitry et al. |
2019 |
| 6 |
O-Minimal Invariants for Linear Loops |
Almagor, Shaull et al. |
2018 |
| 7 |
Fractional Coverings, Greedy Coverings, and Rectifier Networks |
Chistikov, Dmitry et al. |
2017 |
| 8 |
On the Complexity of Quantified Integer Programming |
Chistikov, Dmitry et al. |
2017 |
| 9 |
On Restricted Nonnegative Matrix Factorization |
Chistikov, Dmitry et al. |
2016 |
| 10 |
The Taming of the Semi-Linear Set |
Chistikov, Dmitry et al. |
2016 |
| 11 |
Notes on Counting with Finite Machines |
Chistikov, Dmitry |
2014 |
