Emptiness problems for integer circuits. - Dominik Barth; Moritz Beck 001; Titus Dose; Christian Glaßer; Larissa Michler; Marc Technau (Theor. Comput. Sci., 2020)