Emptiness Problems for Integer Circuits

Dominik Barth, Moritz Beck, Titus Dose, Christian Glaßer, Larissa Michler, Marc Technau

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publication42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)
DOIs
Publication statusPublished - 2017
Externally publishedYes

Cite this

Barth, D., Beck, M., Dose, T., Glaßer, C., Michler, L., & Technau, M. (2017). Emptiness Problems for Integer Circuits. In 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) https://doi.org/10.4230/LIPIcs.MFCS.2017.33

Emptiness Problems for Integer Circuits. / Barth, Dominik; Beck, Moritz; Dose, Titus; Glaßer, Christian; Michler, Larissa; Technau, Marc.

42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). 2017.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Barth, D, Beck, M, Dose, T, Glaßer, C, Michler, L & Technau, M 2017, Emptiness Problems for Integer Circuits. in 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). https://doi.org/10.4230/LIPIcs.MFCS.2017.33
Barth D, Beck M, Dose T, Glaßer C, Michler L, Technau M. Emptiness Problems for Integer Circuits. In 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). 2017 https://doi.org/10.4230/LIPIcs.MFCS.2017.33
Barth, Dominik ; Beck, Moritz ; Dose, Titus ; Glaßer, Christian ; Michler, Larissa ; Technau, Marc. / Emptiness Problems for Integer Circuits. 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). 2017.
@inproceedings{5e456dd31afa4ab7967f422302631d5d,
title = "Emptiness Problems for Integer Circuits",
author = "Dominik Barth and Moritz Beck and Titus Dose and Christian Gla{\ss}er and Larissa Michler and Marc Technau",
year = "2017",
doi = "10.4230/LIPIcs.MFCS.2017.33",
language = "English",
isbn = "978-3-95977-046-0",
booktitle = "42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)",

}

TY - GEN

T1 - Emptiness Problems for Integer Circuits

AU - Barth, Dominik

AU - Beck, Moritz

AU - Dose, Titus

AU - Glaßer, Christian

AU - Michler, Larissa

AU - Technau, Marc

PY - 2017

Y1 - 2017

UR - http://drops.dagstuhl.de/opus/volltexte/2017/8064

U2 - 10.4230/LIPIcs.MFCS.2017.33

DO - 10.4230/LIPIcs.MFCS.2017.33

M3 - Conference contribution

SN - 978-3-95977-046-0

BT - 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)

ER -