×
  • Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

    Christian Herde

Click on cover to enlarge.
Buy This Book
From Amazon.
4 - 5Hours to read