The satisfiability problem
By: guest editors, John V. Franco ... [et al.].  Boolean functions / guest editors, Endre Boros, Peter L. Hammer.
Contributors: Franco, John; Boros, Endre.; Hammer, P. L., 1936-
Series: Topics in discrete mathematics -- 10
Publisher: Elsevier
Published: 1999
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 482
Subjects: Propositional calculus; Decision making; Computer algorithms; Algebra, Boolean
Other titles: Satisfiability problem and Boolean functions; Discrete applied mathematics.; Boolean functions.
Notes: "Reprinted from Discrete applied mathematics, volumes 96-97 (1999)."

Includes bibliographical references and index.