Opening book details…
About this nonfiction
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems by Christian Herde (auth.) is a nonfiction available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Christian Herde (auth.)
- Publisher
- Vieweg+Teubner Verlag
- Published
- 2011
- Language
- EN
- Category
- nonfiction
More by Christian Herde (auth.)
Browse all works by Christian Herde (auth.)
Similar books
- 8 Efficient Solving of Large Non-Linear Arithmetic Constraint Systems with Complex Boolean Structure — Martin Fränzle (2014)
- Signals and Systems: Continuous and Discrete — Rodger E. Ziemer, William H. Tranter, D. R. Fannin (1998)
- Discrete and continuous nonlinear Schrödinger systems — M. J. Ablowitz, B. Prinari, A. D. Trubatch, Mark J. (2004)
- Discrete, Continuous, and Hybrid Petri Nets — René David; Hassane Alla (2005)
- Techniques for Solving Boolean Equation Systems — Keinanen M (2006)
- Test Pattern Generation Using Boolean Proof Engines — Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille (auth.) (2009)