Name: Theory and Applications of Satisfiability Testing - SAT 2006
Price: 27.5 USD
Availability: InStock
Rating: 4.8 (559 reviews)
Author: Armin Biere
ISBN: 9783540372073

Description

The publisher of this book has not provided a description. Please check back later.

About this Ebook

PublisherSpringer Berlin Heidelberg

PublishedAugust 24, 2025

LanguageEnglish

FormatEPUB

Theory and Applications of Satisfiability Testing - SAT 2006

Description

About this Ebook

Explore Related Tags

You Might Also Like

#tweetsmart

(MCTS) Microsoft BizTalk Server 2010 (70-595) Certification Guide (Second Edition)

.NET & XML

'Fundamentals of Image, Audio, and Video Processing Using MATLAB®' and 'Fundamentals of Graphics Using MATLAB®'