THE SATISFIABILITY PROBLEM & BOOLEAN FUNCTIONS TDM: v. 10 (Topics in Discrete Mathematics)

More Information

Format: Illustrated
Pages: 250
Edition: Illustrated
Publisher: Elsevier
Published: 26 Nov 1999
ISBN 10: 0444504109
ISBN 13: 9780444504104