LIBROS DEL AUTOR: christian herde

1 resultados para LIBROS DEL AUTOR: christian herde

christian herde Eliminar filtro Quitar filtros
  • Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
    Christian Herde
    Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of ...
    Disponible

    146,72 €