Christian Herde
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
Paperback Engels 2011 2011e druk 9783834814944
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.
Specificaties
ISBN13:9783834814944
Taal:Engels
Bindwijze:paperback
Aantal pagina's:163
Uitgever:Vieweg+Teubner Verlag
Druk:2011
Hoofdrubriek:Automatisering algemeen, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Hybrid Dynamical Systems; Extending DPLL for Pseudo-Boolean Constraints; Integration of DPLL-SAT and Linear Programming; Integration of DPLL and Interval Constraint Solving
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan