Larissa Michler

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 3

Top Topics

Reinforcement Learning

Constraint Satisfaction Problems

Decision Problems

Top Venues

Electron. Colloquium Comput. Complex.

Theor. Comput. Sci.

Publications

Dominik Barth, Moritz Beck, Titus Dose, Christian Glaßer, Larissa Michler, Marc Technau
Emptiness problems for integer circuits. Theor. Comput. Sci. (2020)
Dominik Barth, Moritz Beck, Titus Dose, Christian Glaßer, Larissa Michler, Marc Technau
Emptiness Problems for Integer Circuits. Electron. Colloquium Comput. Complex. 24 (2017)
Dominik Barth, Moritz Beck, Titus Dose, Christian Glaßer, Larissa Michler, Marc Technau
Emptiness Problems for Integer Circuits. MFCS (2017)