tr-announce October 2012

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

2012-15: Algorithmic Differentiation of Numerical Methods: Tangent-Linear and Adjoint Solvers for Systems of Nonlinear Equations
by Thomas Ströder
11 years, 7 months

2011-17: SAT Encodings: From Constraint-Based Termination Analysis to Circuit Synthesis
by Thomas Ströder
11 years, 8 months
Results per page: