Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
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: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Medimops DE
26-07-2026 12:52:19
Gesponsert
SpringerLink DE
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
SpringerLink DE
26-07-2026 08:55:55
Ähnliche Produkte
The McKinsey Engagement
20.98 EUR
The McKinsey Engagement
7.49 EUR