Travelled to:
1 × Canada
Collaborated with:
M.Ziegler
Talks about:
satisfi (1) quantum (1) complex (1) comput (1)
Person: Christian Herrmann
DBLP: Herrmann:Christian
Contributed to:
Wrote 1 papers:
- LICS-2011-HerrmannZ #complexity #quantum #satisfiability
- Computational Complexity of Quantum Satisfiability (CH, MZ), pp. 175–184.