Login / Signup
Marc Technau
ORCID
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 3
Top Topics
Real World
Reinforcement Learning
Constraint Satisfaction Problems
Decision Problems
Top Venues
Electron. Colloquium Comput. Complex.
MFCS
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)