Search
Workshop

SAT solvers in non-linear algebra

  • Thomas Kahle (Otto von Guericke University Magdeburg, Germany)
E1 05 (Leibniz-Saal)

Saskia Gutzschebauch

Max-Planck-Institut für Mathematik in den Naturwissenschaften Contact via Mail

Yue Ren

Max Planck Institute for Mathematics in the Sciences

Bill Hart

Technische Universität Kaiserslautern