Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems

CiNii Available at 2 libraries

Bibliographic Information

Title
"Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems"
Statement of Responsibility
Christian Herde
Publisher
  • Vieweg + Teubner
  • 1. ed
Publication Year
  • 2011
Book size
22 cm

Search this Book/Journal

Notes

Author's dissertation: Universität Oldenburg , 2010

Includes bibliographical references and index

Related Books

See more

Details 詳細情報について

Back to top