Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Proof Engines for the Analysis of Hybrid Discrete-continuous Systems
Autor:
Christian Herde
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
214.22
zł
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic ver...
