Workshop
SAT solvers in non-linear algebra
-
Thomas Kahle (Otto von Guericke University Magdeburg, Germany)
E1 05 (Leibniz-Saal)
conference
12/11/17
12/12/17
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