Christian Herrmann

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 2

Top Topics

Storage Requirements

Multiresolution

Computational Complexity

Quantum Computing

Top Venues

Int. J. Algebra Comput.

Publications

Christian Herrmann, Martin Ziegler
Computational Complexity of Quantum Satisfiability. J. ACM 63 (2) (2016)
Christian Herrmann, Yasuyuki Tsukamoto, Martin Ziegler
On the consistency problem for modular lattices and related structures. Int. J. Algebra Comput. 26 (8) (2016)
Christian Herrmann, Johanna Sokoli, Martin Ziegler
Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines. MCU (2013)
Christian Herrmann, Martin Ziegler
Computational Complexity of Quantum Satisfiability. LICS (2011)
Christian Herrmann, Martin Ziegler
Expressiveness and Computational Complexity of Geometric Quantum Logic CoRR (2010)