Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
  • #
  • #

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

53.49 EUR

Ein praxisnahes Buch, das fortgeschrittene Techniken zur schnellen Lösung großer arithmetischer Constraint‑Sätze mit komplexen Booleschen Verknüpfungen vorstellt und deren Einsatz in Beweismaschinen für hybride Systeme erläutert.

Teilen:

Ähnliche Produkte

Al wardi, Hamood Amur: Efficient Algorithms for Solving Hamilton-Jacobi-Bellman Equations

Al wardi, Hamood Amur: Efficient Algorithms for Solving Hamilton-Jacobi-Bellman Equations

49.34 EUR
The McKinsey Engagement

The McKinsey Engagement

8.49 EUR
sBAM in solving Traveling Salesman Problem: A Cost Efficient Algorithm sBAM in Comparison to Genetic Algorithm for Solving the Traveling Salesman Problem

sBAM in solving Traveling Salesman Problem: A Cost Efficient Algorithm sBAM in Comparison to Genetic Algorithm for Solving the Traveling Salesman Problem

49.00 EUR
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

42.79 EUR
The McKinsey Engagement

The McKinsey Engagement

20.98 EUR