Introduction to mathematics of satisfiability
By: Victor W. Marek.
Series: Chapman & Hall/CRC studies in informatics series
Publisher: Taylor & Francis
Published: 2009
Place of publication: Boca Raton
Language: eng
ISBN-13: 9781439801673
Subjects: Propositional calculus; Logic, Symbolic and mathematical
Notes: Includes bibliographical references and index.