Emptiness problems for integer circuits
D. Barth, M. Beck, T. Dose, Ch. Glaßer, L. Michler, M.P. Technau, Emptiness Problems for Integer Circuits, https://eccc.weizmann.ac.il/report/2017/012, 2017.