Circuit satisfiability and constraint satisfaction around Skolem Arithmetic
Glaßer, Christian, Jonsson, Peter, Martin, Barnaby
Published in Theoretical computer science (05.12.2017)
Published in Theoretical computer science (05.12.2017)
Get full text
Journal Article
Emptiness problems for integer circuits
Barth, Dominik, Beck, Moritz, Dose, Titus, Glaßer, Christian, Michler, Larissa, Technau, Marc
Published in Theoretical computer science (06.07.2020)
Published in Theoretical computer science (06.07.2020)
Get full text
Journal Article
Efficient algorithms for membership in boolean hierarchies of regular languages
Glaßer, Christian, Schmitz, Heinz, Selivanov, Victor
Published in Theoretical computer science (20.09.2016)
Published in Theoretical computer science (20.09.2016)
Get full text
Journal Article
Introduction to Autoreducibility and Mitoticity
Glaßer, Christian, Nguyen, Dung T., Selman, Alan L., Witek, Maximilian
Published in Computability and Complexity (01.01.2017)
Published in Computability and Complexity (01.01.2017)
Get full text
Book Chapter
Perfect correspondences between dot-depth and polynomial-time hierarchies
Glaßer, Christian, Travers, Stephen, Wagner, Klaus W.
Published in Journal of computer and system sciences (01.11.2014)
Published in Journal of computer and system sciences (01.11.2014)
Get full text
Journal Article
The shrinking property for NP and coNP
Glaßer, Christian, Reitwießner, Christian, Selivanov, Victor
Published in Theoretical computer science (04.03.2011)
Published in Theoretical computer science (04.03.2011)
Get full text
Journal Article
Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic
Get full text
Book Chapter
Conference Proceeding
The fault tolerance of NP-hard problems
Glaßer, Christian, Pavan, A., Travers, Stephen
Published in Information and computation (01.03.2011)
Published in Information and computation (01.03.2011)
Get full text
Journal Article
Conference Proceeding
Satisfiability of algebraic circuits over sets of natural numbers
Glaßer, Christian, Reitwießner, Christian, Travers, Stephen, Waldherr, Matthias
Published in Discrete Applied Mathematics (06.07.2010)
Published in Discrete Applied Mathematics (06.07.2010)
Get full text
Journal Article
Canonical disjoint NP-pairs of propositional proof systems
Glaßer, Christian, Selman, Alan L., Zhang, Liyu
Published in Theoretical computer science (12.02.2007)
Published in Theoretical computer science (12.02.2007)
Get full text
Journal Article
Autoreducibility, mitoticity, and immunity
Glaßer, Christian, Ogihara, Mitsunori, Pavan, A., Selman, Alan L., Zhang, Liyu
Published in Journal of computer and system sciences (01.08.2007)
Published in Journal of computer and system sciences (01.08.2007)
Get full text
Journal Article
The complexity of unions of disjoint sets
Glaßer, Christian, Selman, Alan L., Travers, Stephen, Wagner, Klaus W.
Published in Journal of computer and system sciences (01.11.2008)
Published in Journal of computer and system sciences (01.11.2008)
Get full text
Journal Article