Satisfiability Testing (Synthesis Lectures on Artificial Intelligence and Machine Learning)
Contributors: Ronald Brachman (Editor)
Publisher: Morgan & Claypool Publishers
Published: August 7, 2007
Language: eng
Format: Paperback
ISBN-13: 9781598291988
Subjects: Systems management; Computer Science; Computers; Computer Books: General