Name: Theory and Applications of Satisfiability Testing - SAT 2010
Price: 27.5 USD
Availability: InStock
Rating: 4.8 (559 reviews)
Author: Ofer Strichman
ISBN: 9783642141867

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 2010

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®'