tr-announce July 2013

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 1 discussions

2013-08: On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers
by Thomas Ströder
10 years, 10 months
Results per page: