The Art of Computer Programming: Satisfiability, Volume 4, Fascicle 6

The author and publisher have taken care in the preparation of this book, but make no expressed or implied warranty of any kind and assume no responsibility for errors or omissions. No liability is assumed for incidental or consequential damages in connection with or arising out of the use of the information or programs contained herein.

For sales outside the U.S., please contact:

International [e-mail]

Visit us on the Web: www.informit.com/aw

Library of Congress Cataloging-in-Publication Data

Knuth, Donald Ervin, 1938-

The art of computer programming / Donald Ervin Knuth.viii,310 p. 24 cm.Includes bibliographical references and index.Contents: v. 4, fascicle 6. Satisfiability.ISBN 978-0-134-39760-3 (pbk. : alk. papers ...