O'Reilly logo

The Art of Computer Programming: Satisfiability, Volume 4, Fascicle 6 by Donald E. Knuth

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Index and Glossary

The republic of letters is at present divided into three classes. One writer, for instance, excels at a plan or a title-page, another works away the body of the book, and a third is a dab at an index.

— OLIVER GOLDSMITH, in The Bee (1759)

When an index entry refers to a page containing a relevant exercise, see also the answer to that exercise for further information. An answer page is not indexed here unless it refers to a topic not included in the statement of the exercise.

∂S (boundary set), 58, 154, 180, 188.

0–1 matrices, 106109, 151, 176177, 181, see also Grid patterns.

1SAT, 49, 148.

2-colorability of hypergraphs, 185.

2SAT, 49, 5154, 7778, 80, 101, 144, 147, 149, 157, 159, 266.

3-regular graphs, 147, 154, 231.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required