Introduction to Propositional Satisfiability
By: Victor Marek
Series: Studies in logic -- 49; Studies in logic -- v. 49.
Publisher: College Publications
Published: 2014
Place of publication: London
Language: eng
Number of pages: 358
ISBN-13: 9781848901391
Subjects: Propositional calculus; Symbolic and mathematical Logic