Satisfiability
Subtitle: From Core Algorithms to Novel Application Domains
Publisher: Südwestdeutscher Verlag für Hochschulschriften AG & Company KG
Published: 2009
Language: ger
ISBN-13: 9783838101026