Martin Ziegler

Martin Ziegler

Korea Advanced Institute of Science and Technology

Associate Professor

School of Computing

Research Area

  • #Mathematics
  • #Computational complexity theory
  • #Pure mathematics
  • #Discrete mathematics
  • #Combinatorics
  • #Model theory
  • #Complexity class
  • #Involution (mathematics)
  • #Subspace topology
  • #Lattice (order)

Get access to
Contact information

Log in

Related papers to
‘ Mathematics ‘ : 11

  • Computational benefit of smoothness

    2015/10

    1.4 Impact Factor

    16 citations

    Akitoshi Kawamura, Norbert Müller, Carsten Rösnick, Martin Ziegler

    DOI : 10.1016/J.JCO.2015.05.001

    • #Mathematics
    • #Discrete mathematics
    • #Combinatorics
    • #Computational complexity theory
    • #Parameterized complexity
    • #Approximation theory
    • #Iterated function
    • #Pointwise
    • #Complexity class
    • #Computable function
    • #Fast-growing hierarchy

All papers authored by
‘ Martin Ziegler ’ : 11

  • Computational benefit of smoothness

    2015/10
    JOURNAL OF COMPLEXITY

    1.4 Impact Factor

    16 citations

    Akitoshi Kawamura, Norbert Müller, Carsten Rösnick, Martin Ziegler

    DOI : 10.1016/J.JCO.2015.05.001

    • #Mathematics
    • #Discrete mathematics
    • #Combinatorics
    • #Computational complexity theory
    • #Parameterized complexity
    • #Approximation theory
    • #Iterated function
    • #Pointwise
    • #Complexity class
    • #Computable function
    • #Fast-growing hierarchy

Related papers to
‘ Mathematics ‘ : 11

  • Computational benefit of smoothness

    2015/10
    JOURNAL OF COMPLEXITY

    1.4 Impact Factor

    16 citations

    Akitoshi Kawamura, Norbert Müller, Carsten Rösnick, Martin Ziegler

    DOI : 10.1016/J.JCO.2015.05.001

    • #Mathematics
    • #Discrete mathematics
    • #Combinatorics
    • #Computational complexity theory
    • #Parameterized complexity
    • #Approximation theory
    • #Iterated function
    • #Pointwise
    • #Complexity class
    • #Computable function
    • #Fast-growing hierarchy
  • Computational Complexity of Quantum Satisfiability

    2016/05
    JOURNAL OF THE ACM

    1.9 Impact Factor

    12 citations

    Christian Herrmann, Martin Ziegler

    DOI : 10.1145/2869073

    • #Mathematics
    • #Discrete mathematics
    • #Algebra
    • #Computational complexity theory
    • #Decidability
    • #Satisfiability
    • #Distributive property
    • #Boolean satisfiability problem
    • #Maximum satisfiability problem
    • #Quantum logic
    • #Existential theory of the reals

Get access to
Contact information

Log in

All papers authored by
‘ Martin Ziegler ’ : 11

  • Computational benefit of smoothness

    2015/10
    JOURNAL OF COMPLEXITY

    1.4 Impact Factor

    16 citations

    Akitoshi Kawamura, Norbert Müller, Carsten Rösnick, Martin Ziegler

    DOI : 10.1016/J.JCO.2015.05.001

    • #Mathematics
    • #Discrete mathematics
    • #Combinatorics
    • #Computational complexity theory
    • #Parameterized complexity
    • #Approximation theory
    • #Iterated function
    • #Pointwise
    • #Complexity class
    • #Computable function
    • #Fast-growing hierarchy
  • Computational Complexity of Quantum Satisfiability

    2016/05
    JOURNAL OF THE ACM

    1.9 Impact Factor

    12 citations

    Christian Herrmann, Martin Ziegler

    DOI : 10.1145/2869073

    • #Mathematics
    • #Discrete mathematics
    • #Algebra
    • #Computational complexity theory
    • #Decidability
    • #Satisfiability
    • #Distributive property
    • #Boolean satisfiability problem
    • #Maximum satisfiability problem
    • #Quantum logic
    • #Existential theory of the reals

Get access to Contact information

Log in
scholarship

Are you Thesis Advisor?
Register and Get Benefits from PhD.GO!

Learn more

Blog

Learn more about scholarship of
Korea Advanced Institute of Science and Technology

Learn more