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

Bibliographic Details
Main Author:	Herde, Christian
Corporate Author:	SpringerLink (Online service)
Format:	Thesis eBook
Language:	English
Published:	Wiesbaden : Vieweg + Teubner, [2011]
Series:	Vieweg+Teubner research.
Subjects:	Automatic theorem proving. Computer science > Mathematics. Constraints (Artificial intelligence) Electronic books.
Online Access:	Connect to the full text of this electronic book